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

/seL4-l4v-master/seL4/src/object/
H A Dtcb.c1168 tcb_t *authTCB = TCB_PTR(cap_thread_cap_get_capTCBPtr(authCap)); local
1169 exception_t status = checkPrio(newPrio, authTCB);
1172 (unsigned long) newPrio, (unsigned long) authTCB->tcbMCP);
1212 tcb_t *authTCB = TCB_PTR(cap_thread_cap_get_capTCBPtr(authCap)); local
1213 exception_t status = checkPrio(newMcp, authTCB);
1216 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP);
1300 tcb_t *authTCB = TCB_PTR(cap_thread_cap_get_capTCBPtr(authCap)); local
1301 exception_t status = checkPrio(newMcp, authTCB);
1304 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP);
1308 status = checkPrio(newPrio, authTCB);
[all...]

Completed in 80 milliseconds