Searched refs:is_root_pt (Results 1 - 5 of 5) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Dpaging_kernel_arch.h64 static inline bool is_root_pt(enum objtype type) { function
/barrelfish-master/kernel/include/arch/x86_32/
H A Dpaging_kernel_arch.h83 static inline bool is_root_pt(enum objtype type) { function
/barrelfish-master/kernel/include/arch/armv7/
H A Dpaging_kernel_arch.h60 static inline bool is_root_pt(enum objtype type) { function
/barrelfish-master/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h178 static inline bool is_root_pt(enum objtype type) { function
/barrelfish-master/kernel/
H A Dpaging_generic.c176 while (!is_root_pt(old->cap.type))

Completed in 38 milliseconds