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

/seL4-test-master/kernel/include/object/
H A Dobjecttype.h22 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b);
/seL4-test-master/kernel/src/object/
H A Dtcb.c1681 if (sameObjectAs(newCap, srcSlot->cap) &&
1682 sameObjectAs(tCap, slot->cap)) {
1739 if (bufferSrcSlot && sameObjectAs(bufferCap, bufferSrcSlot->cap) &&
1740 sameObjectAs(tCap, slot->cap)) {
1779 if (sameObjectAs(cRoot_newCap, cRoot_srcSlot->cap) &&
1780 sameObjectAs(tCap, slot->cap)) {
1793 if (sameObjectAs(vRoot_newCap, vRoot_srcSlot->cap) &&
1794 sameObjectAs(tCap, slot->cap)) {
1809 if (bufferSrcSlot && sameObjectAs(bufferCap, bufferSrcSlot->cap) &&
1810 sameObjectAs(tCa
[all...]
H A Dcnode.c853 prevIsSameObject = sameObjectAs(prev->cap, cte->cap);
865 return !sameObjectAs(cte->cap, next->cap);
H A Dobjecttype.c379 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b) function

Completed in 51 milliseconds