Home
last modified time | relevance | path

Searched defs:x86_make_empty_root_mapping (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/x86/arch/32/mode/kernel/
A Dvspace.h34 static inline CONST pde_t x86_make_empty_root_mapping(void) in x86_make_empty_root_mapping() function
/seL4-master/include/arch/x86/arch/64/mode/kernel/
A Dvspace.h51 static inline CONST pml4e_t x86_make_empty_root_mapping(void) in x86_make_empty_root_mapping() function

Completed in 10 milliseconds