Home
last modified time | relevance | path

Searched refs:l4_info (Results 1 – 4 of 4) sorted by relevance

/l4re-core-master/sigma0/server/src/
A Dmemmap.h23 extern l4_kernel_info_t *l4_info;
A Dinit.cc55 l4_info = info; in init()
A Dmemmap.cc32 l4_kernel_info_t *l4_info; variable
51 a->snd_fpage((l4_umword_t) l4_info, L4_LOG2_PAGESIZE, L4_FPAGE_RX, true); in map_kip()
A Dinit_mem.cc31 char kip_syscalls = l4_info->kip_sys_calls; in init_memory()

Completed in 4 milliseconds