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

/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dsmmu.c11 static exception_t checkARMCBVspace(cap_t cap) function
122 if (unlikely(checkARMCBVspace(cbCap) != EXCEPTION_NONE)) {
264 if (unlikely(checkARMCBVspace(cap) != EXCEPTION_NONE)) {
313 if (unlikely(checkARMCBVspace(cap) != EXCEPTION_NONE)) {
356 if (unlikely(checkARMCBVspace(cap) == EXCEPTION_NONE)) {

Completed in 30 milliseconds