| /seL4-refos-master/kernel/src/model/ |
| H A D | smp.c | 13 void migrateTCB(tcb_t *tcb, word_t new_core) argument
|
| /seL4-refos-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | traps.h | 15 tcb_t *tcb = NODE_STATE(ksCurThread); local
23 tcb_t *tcb = NODE_STATE(ksCurThread); local
|
| /seL4-refos-master/kernel/include/object/ |
| H A D | notification.h | 23 static inline void maybeReturnSchedContext(notification_t *ntfnPtr, tcb_t *tcb) argument
|
| H A D | reply.h | 14 static inline void reply_unlink(reply_t *reply, tcb_t *tcb) argument
[all...] |
| H A D | tcb.h | 82 tcbEPAppend(tcb_t *tcb, tcb_queue_t queue) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/arm/32/kernel/ |
| H A D | thread.c | 15 void Arch_switchToThread(tcb_t *tcb) argument
25 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb) argument
41 void Arch_activateIdleThread(tcb_t *tcb) argument
|
| /seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
| H A D | thread.c | 14 void Arch_switchToThread(tcb_t *tcb) argument
22 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb) argument
36 void Arch_activateIdleThread(tcb_t *tcb) argument
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | register_dump.c | 20 void sel4debug_dump_registers(seL4_CPtr tcb) argument
25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | register_dump.c | 20 void sel4debug_dump_registers(seL4_CPtr tcb) argument
25 void sel4debug_dump_registers_prefix(seL4_CPtr tcb, char *prefix) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/kernel/ |
| H A D | thread.c | 18 void Arch_switchToThread(tcb_t *tcb) argument
23 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb) argument
43 tcb_t *tcb = NODE_STATE(ksIdleThread); local
49 Arch_activateIdleThread(tcb_t *tcb) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/32/kernel/ |
| H A D | thread.c | 14 void Arch_switchToThread(tcb_t *tcb) argument
27 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb) argument
43 void Arch_activateIdleThread(tcb_t *tcb) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/64/kernel/ |
| H A D | thread.c | 14 void Arch_switchToThread(tcb_t *tcb) argument
33 BOOT_CODE void Arch_configureIdleThread(tcb_t *tcb) argument
49 tcb_t *tcb local
60 Arch_activateIdleThread(tcb_t *tcb) argument
[all...] |
| /seL4-refos-master/kernel/src/benchmark/ |
| H A D | benchmark_utilisation.c | 17 tcb_t *tcb = NULL; local
70 void benchmark_track_reset_utilisation(tcb_t *tcb) argument
[all...] |
| /seL4-refos-master/kernel/include/api/ |
| H A D | debug.h | 78 static inline void debug_printTCB(tcb_t *tcb) argument
|
| /seL4-refos-master/kernel/include/arch/x86/arch/smp/ |
| H A D | ipi_inline.h | 49 static inline void doRemoteVMCheckBoundNotification(word_t cpu, tcb_t *tcb) argument
|
| /seL4-refos-master/kernel/src/object/ |
| H A D | reply.c | 54 void reply_pop(reply_t *reply, tcb_t *tcb) argument
76 schedContext_donate(SC_PTR(next_ptr), tcb); local
91 void reply_remove(reply_t *reply, tcb_t *tcb) argument
108 reply_unlink(REPLY_PTR(reply), tcb); local
122 reply_remove_tcb(tcb_t *tcb) argument
[all...] |
| H A D | schedcontext.c | 271 void schedContext_bindTCB(sched_context_t *sc, tcb_t *tcb) argument
293 schedContext_unbindTCB(sched_context_t *sc, tcb_t *tcb) argument
364 schedContext_cancelYieldTo(tcb_t *tcb) argument
[all...] |
| H A D | notification.c | 42 static inline void maybeDonateSchedContext(tcb_t *tcb, notification_t *ntfnPtr) argument
80 tcb_t *tcb = (tcb_t *)notification_ptr_get_ntfnBoundTCB(ntfnPtr); local
252 completeSignal(notification_t *ntfnPtr, tcb_t *tcb) argument
284 unbindNotification(tcb_t *tcb) argument
294 bindNotification(tcb_t *tcb, notification_t *ntfnPtr) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | tcb.c | 25 void Arch_leaveVMAsyncTransfer(tcb_t *tcb) argument
30 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) argument
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | fpu.h | 166 static inline void set_tcb_fs_state(tcb_t *tcb, bool_t enabled) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 40 vka_object_t tcb; member in struct:sel4utils_thread
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 40 vka_object_t tcb; member in struct:sel4utils_thread
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 144 cspacepath_t tcb; local
212 cspacepath_t tcb; local
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 144 cspacepath_t tcb; local
212 cspacepath_t tcb; local
|
| /seL4-refos-master/kernel/include/kernel/ |
| H A D | boot.h | 120 pptr_t tcb; member in struct:__anon15
|