Searched defs:Arch_sameObjectAs (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dobjecttype.c408 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) function
/seL4-l4v-master/seL4/src/arch/riscv/object/
H A Dobjecttype.c158 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) function
/seL4-l4v-master/seL4/src/arch/arm/32/object/
H A Dobjecttype.c323 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) function
/seL4-l4v-master/seL4/src/arch/arm/64/object/
H A Dobjecttype.c332 bool_t CONST Arch_sameObjectAs(cap_t cap_a, cap_t cap_b) function

Completed in 36 milliseconds