Searched refs:maskCapRights (Results 1 - 3 of 3) sorted by relevance

/seL4-mcs-10.1.1/include/object/
H A Dobjecttype.h29 cap_t CONST maskCapRights(seL4_CapRights_t seL4_CapRights, cap_t cap);
/seL4-mcs-10.1.1/src/object/
H A Dcnode.c124 srcCap = maskCapRights(cap_rights, srcSlot->cap);
144 srcCap = maskCapRights(cap_rights, srcSlot->cap);
H A Dobjecttype.c413 maskCapRights(seL4_CapRights_t cap_rights, cap_t cap) function

Completed in 124 milliseconds