ds: Add live update extensions.

Change-Id: I093c462ddad4a5e9b3dc39140f45f0e25e83bb55
This commit is contained in:
Cristiano Giuffrida 2015-07-18 12:08:15 +02:00 committed by David van Moolenbroek
parent 50b7f13f9f
commit 2b641b28b1
3 changed files with 15 additions and 0 deletions

View file

@ -366,6 +366,7 @@ void sef_llvm_stack_refs_restore(char *stack_buff);
int sef_llvm_state_transfer(sef_init_info_t *info);
int sef_llvm_add_special_mem_region(void *addr, size_t len, const char* name);
int sef_llvm_del_special_mem_region_by_addr(void *addr);
void sef_llvm_ds_st_init(void);
void *sef_llvm_ac_mmap(void *buf, size_t len, int prot, int flags, int fd,
off_t offset);
int sef_llvm_ac_munmap(void *buf, size_t len);

View file

@ -153,6 +153,17 @@ int sef_llvm_del_special_mem_region_by_addr(void *addr)
return st_del_special_mmapped_region_by_addr(addr);
}
/*===========================================================================*
* sef_llvm_ds_st_init *
*===========================================================================*/
void sef_llvm_ds_st_init(void)
{
extern void __attribute__((weak)) _magic_ds_st_init(void);
if (!_magic_ds_st_init)
return;
_magic_ds_st_init();
}
/*===========================================================================*
* sef_llvm_ac_mmap *
*===========================================================================*/

View file

@ -96,6 +96,9 @@ static void sef_local_startup()
sef_setcb_init_fresh(sef_cb_init_fresh);
sef_setcb_init_restart(sef_cb_init_fail);
/* Register state transfer callbacks. */
sef_llvm_ds_st_init();
/* No live update support for now. */
/* Let SEF perform startup. */