Home
last modified time | relevance | path

Searched refs:tcbMCP (Results 1 – 6 of 6) sorted by relevance

/seL4-master/src/object/
A Dschedcontext.c230 if (sc->scTcb->tcbPriority > NODE_STATE(ksCurThread)->tcbMCP) { in decodeSchedContext_YieldTo()
232 … (unsigned long) NODE_STATE(ksCurThread)->tcbMCP, (unsigned long) sc->scTcb->tcbPriority); in decodeSchedContext_YieldTo()
A Dtcb.c36 mcp = auth->tcbMCP; in checkPrio()
1169 (unsigned long) newPrio, (unsigned long) authTCB->tcbMCP); in decodeSetPriority()
1213 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP); in decodeSetMCPriority()
1301 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP); in decodeSetSchedParams()
1308 (unsigned long) newPrio, (unsigned long) authTCB->tcbMCP); in decodeSetSchedParams()
/seL4-master/include/object/
A Dstructures.h268 prio_t tcbMCP; member
/seL4-master/src/machine/
A Dcapdl.c89 (long unsigned int)tcb->tcbMCP); in obj_tcb_print_attrs()
/seL4-master/src/kernel/
A Dthread.c481 tptr->tcbMCP = mcp; in setMCPriority()
A Dboot.c513 tcb->tcbMCP = seL4_MaxPrio; in create_initial_thread()

Completed in 13 milliseconds