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

/l4re-core-master/moe/server/src/
A D	globals.h	20 extern "C" l4_kernel_info_t *_current_kip; 21 inline l4_kernel_info_t const *kip() { return _current_kip; } in kip()
A D	globals.cc	12 l4_kernel_info_t *_current_kip; variable
A D	main.cc	76 _current_kip = l4sigma0_map_kip(Sigma0_cap, 0, L4_WHOLE_ADDRESS_SPACE); in map_kip() 78 if (!_current_kip) in map_kip()

Completed in 5 milliseconds

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