Searched refs:sameRegionAs (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/include/object/
H A Dobjecttype.h21 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b);
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c274 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b) function
391 return sameRegionAs(cap_a, cap_b);
H A Dcnode.c780 if (!sameRegionAs(cte_a->cap, cte_b->cap)) {
/seL4-camkes-master/kernel/src/machine/
H A Dcapdl.c148 if (!sameRegionAs(slot->cap, nextPtr->cap)) {

Completed in 89 milliseconds