Searched refs:REFOS_THREAD_TCB (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/libs/librefos/include/refos/ |
H A D | refos.h | 47 #define REFOS_THREAD_TCB 0x8 macro
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos/ |
H A D | refos.h | 47 #define REFOS_THREAD_TCB 0x8 macro
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | serv_common.c | 168 int error = seL4_TCB_BindNotification(REFOS_THREAD_TCB, s->notifyAsyncEP);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | serv_common.c | 168 int error = seL4_TCB_BindNotification(REFOS_THREAD_TCB, s->notifyAsyncEP);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
H A D | process.c | 152 p, REFOS_THREAD_TCB, thread_tcb_obj(t0), seL4_AllRights,
|
/seL4-refos-master/apps/process_server/src/system/process/ |
H A D | process.c | 152 p, REFOS_THREAD_TCB, thread_tcb_obj(t0), seL4_AllRights,
|
Completed in 98 milliseconds