Searched refs:newMcp (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/kernel/src/object/ |
| H A D | tcb.c | 1202 prio_t newMcp = getSyscallArg(0, buffer); local
1213 exception_t status = checkPrio(newMcp, authTCB);
1216 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP);
1225 newMcp, NULL_PRIO,
1230 0, newMcp, NULL_PRIO,
1284 prio_t newMcp = getSyscallArg(0, buffer); local
1301 exception_t status = checkPrio(newMcp, authTCB);
1304 (unsigned long) newMcp, (unsigned long) authTCB->tcbMCP);
1358 newMcp, newPrio,
1367 0, newMcp, newPri
[all...] |
Completed in 28 milliseconds