Searched refs:newPrio (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/kernel/src/object/ |
| H A D | tcb.c | 1158 prio_t newPrio = getSyscallArg(0, buffer); local
1169 exception_t status = checkPrio(newPrio, authTCB);
1172 (unsigned long) newPrio, (unsigned long) authTCB->tcbMCP);
1181 NULL_PRIO, newPrio,
1186 0, NULL_PRIO, newPrio,
1285 prio_t newPrio = getSyscallArg(1, buffer); local
1308 status = checkPrio(newPrio, authTCB);
1311 (unsigned long) newPrio, (unsigned long) authTCB->tcbMCP);
1358 newMcp, newPrio,
1367 0, newMcp, newPrio,
[all...] |
Completed in 23 milliseconds