Searched refs:init_memory (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/sigma0/server/src/
A D	init_mem.h	15 void init_memory(l4_kernel_info_t *info);
A D	init.cc	66 init_memory(info); in init()
A D	init_mem.cc	22 init_memory(l4_kernel_info_t *info) in init_memory() function

Completed in 7 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023