Searched refs:sameObjectAs (Results 1 - 4 of 4) sorted by relevance
/seL4-test-master/kernel/include/object/ |
H A D | objecttype.h | 22 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b);
|
/seL4-test-master/kernel/src/object/ |
H A D | tcb.c | 1681 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 D | cnode.c | 853 prevIsSameObject = sameObjectAs(prev->cap, cte->cap); 865 return !sameObjectAs(cte->cap, next->cap);
|
H A D | objecttype.c | 379 bool_t CONST sameObjectAs(cap_t cap_a, cap_t cap_b) function
|
Completed in 51 milliseconds