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

/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h67 static inline bool_t CONST cap_get_archCapIsPhysical(cap_t cap) function
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h193 static inline bool_t CONST cap_get_archCapIsPhysical(cap_t cap) function
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h161 static inline bool_t CONST cap_get_archCapIsPhysical(cap_t cap) function
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h541 return cap_get_archCapIsPhysical(cap);
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h312 static inline bool_t CONST cap_get_archCapIsPhysical(cap_t cap) function

Completed in 89 milliseconds