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

/seL4-l4v-master/seL4/include/object/
H A Dobjecttype.h21 bool_t CONST sameRegionAs(cap_t cap_a, cap_t cap_b);
/seL4-l4v-master/seL4/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-l4v-master/seL4/src/machine/
H A Dcapdl.c148 if (!sameRegionAs(slot->cap, nextPtr->cap)) {

Completed in 41 milliseconds