Searched refs:auth (Results 1 - 9 of 9) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth) argument
77 config.sched_params.auth = auth;
|
| H A D | thread_config.h | 33 seL4_CPtr auth; member in struct:sched_params
132 config.sched_params.auth = tcb;
|
| H A D | mcs_api.h | 125 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, argument
129 return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio, sc, ep);
131 return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | process_config.h | 75 static inline sel4utils_process_config_t process_config_auth(sel4utils_process_config_t config, seL4_CPtr auth) argument
77 config.sched_params.auth = auth;
|
| H A D | thread_config.h | 33 seL4_CPtr auth; member in struct:sched_params
132 config.sched_params.auth = tcb;
|
| H A D | mcs_api.h | 125 static inline seL4_Error api_tcb_set_sched_params(seL4_CPtr tcb, seL4_CPtr auth, seL4_Word prio, argument
129 return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio, sc, ep);
131 return seL4_TCB_SetSchedParams(tcb, auth, mcp, prio);
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | thread.c | 124 error = seL4_TCB_SetMCPriority(res->tcb.cptr, config.sched_params.auth,
133 error = seL4_TCB_SetPriority(res->tcb.cptr, config.sched_params.auth,
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 124 error = seL4_TCB_SetMCPriority(res->tcb.cptr, config.sched_params.auth,
133 error = seL4_TCB_SetPriority(res->tcb.cptr, config.sched_params.auth,
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | tcb.c | 32 static exception_t checkPrio(prio_t prio, tcb_t *auth) argument
36 mcp = auth->tcbMCP;
|
Completed in 50 milliseconds