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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h34 seL4_CapFault_DepthMismatch_BitsFound, enumerator in enum:__anon117
35 seL4_CapFault_GuardMismatch_GuardFound = seL4_CapFault_DepthMismatch_BitsFound,
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dshared_types.h34 seL4_CapFault_DepthMismatch_BitsFound, enumerator in enum:__anon184
35 seL4_CapFault_GuardMismatch_GuardFound = seL4_CapFault_DepthMismatch_BitsFound,
/seL4-l4v-10.1.1/seL4/src/api/
H A Dfaults.c42 assert(offset + 2 == seL4_CapFault_DepthMismatch_BitsFound);

Completed in 40 milliseconds