| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | vcpu.c | 471 static void dissociateVcpuTcb(tcb_t *tcb, vcpu_t *vcpu) argument
473 assert(tcb->tcbArch.tcbVCPU == vcpu);
474 assert(vcpu->vcpuTCB == tcb);
475 tcb->tcbArch.tcbVCPU = NULL;
496 static void associateVcpuTcb(tcb_t *tcb, vcpu_t *vcpu) argument
498 if (tcb->tcbArch.tcbVCPU) {
499 dissociateVcpuTcb(tcb, tcb->tcbArch.tcbVCPU);
504 vcpu->vcpuTCB = tcb;
505 tcb
872 invokeSetTCB(vcpu_t *vcpu, tcb_t *tcb) argument
916 vcpu_sysvmenter_reply_to_user(tcb_t *tcb) argument
1274 VMCheckBoundNotification(tcb_t *tcb) argument
[all...] |
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 144 cspacepath_t tcb; local
170 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
172 allocman = bootstrap_new_1level(bootstrap, 14, tcb, pd, &oldroot);
212 cspacepath_t tcb; local
238 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
240 allocman = bootstrap_new_2level(bootstrap, 6, 10, tcb, pd, &oldroot);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 144 cspacepath_t tcb; local
170 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
172 allocman = bootstrap_new_1level(bootstrap, 14, tcb, pd, &oldroot);
212 cspacepath_t tcb; local
238 tcb = _cspace_simple1level_make_path(&boot_cspace, seL4_CapInitThreadTCB);
240 allocman = bootstrap_new_2level(bootstrap, 6, 10, tcb, pd, &oldroot);
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 256 * @param tcb Path to the TCB of the current thread, need to perform an invocation of seL4_TCB_SetSpace
263 allocman_t *bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot);
271 * @param tcb Path to the TCB of the current thread, need to perform an invocation of seL4_TCB_SetSpace
278 allocman_t *bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot);
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 256 * @param tcb Path to the TCB of the current thread, need to perform an invocation of seL4_TCB_SetSpace
263 allocman_t *bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot);
271 * @param tcb Path to the TCB of the current thread, need to perform an invocation of seL4_TCB_SetSpace
278 allocman_t *bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot);
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | syscalls.h | 115 * @param tcb A capability to the tcb object for the thread to name.
120 seL4_DebugNameThread(seL4_CPtr tcb, const char *name);
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | syscalls.h | 115 * @param tcb A capability to the tcb object for the thread to name.
120 seL4_DebugNameThread(seL4_CPtr tcb, const char *name);
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/process/ |
| H A D | thread.c | 72 int error = seL4_TCB_Resume(thread->sel4utilsThread.tcb.cptr);
|
| /seL4-refos-master/apps/process_server/src/system/process/ |
| H A D | thread.c | 72 int error = seL4_TCB_Resume(thread->sel4utilsThread.tcb.cptr);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/kernel/ |
| H A D | vspace.h | 39 void setVMRoot(tcb_t *tcb);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/object/ |
| H A D | vcpu.h | 74 struct tcb *vcpuTCB;
102 void associateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb);
104 void dissociateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb);
132 exception_t invokeVCPUSetTCB(vcpu_t *vcpu, tcb_t *tcb);
|
| /seL4-refos-master/kernel/include/kernel/ |
| H A D | thread.h | 172 void configureIdleThread(tcb_t *tcb);
211 static inline void updateRestartPC(tcb_t *tcb)
213 setRegister(tcb, FaultIP, getRegister(tcb, NextIP));
|
| H A D | boot.h | 120 pptr_t tcb; member in struct:__anon15
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 45 /* affinity for this tcb. Must set sched_ctrl if CONFIG_RT */
130 static inline sel4utils_thread_config_t thread_config_auth(sel4utils_thread_config_t config, seL4_CPtr tcb) argument
132 config.sched_params.auth = tcb;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread_config.h | 45 /* affinity for this tcb. Must set sched_ctrl if CONFIG_RT */
130 static inline sel4utils_thread_config_t thread_config_auth(sel4utils_thread_config_t config, seL4_CPtr tcb) argument
132 config.sched_params.auth = tcb;
|
| /seL4-refos-master/kernel/src/model/ |
| H A D | statedata.c | 14 #include <object/tcb.h>
41 * tcb pointers */
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 61 seL4_CPtr tcb; local
62 if (sscanf(tcb_string, "%p", (void **)&tcb) == 1) {
63 seL4_TCB_SetTLSBase(tcb, (seL4_Word)tp);
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | vsyscall.c | 61 seL4_CPtr tcb; local
62 if (sscanf(tcb_string, "%p", (void **)&tcb) == 1) {
63 seL4_TCB_SetTLSBase(tcb, (seL4_Word)tp);
|
| /seL4-refos-master/libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 59 cspacepath_t tcb; member in struct:bootstrap_info
464 error = api_tcb_set_space(bs->tcb.capPtr, 0,
524 if(pos == bs->tcb.capPtr || pos == bs->pd.capPtr) {
598 error = api_tcb_set_space(bs->tcb.capPtr, 0,
646 bs->tcb = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadTCB);
649 static void bootstrap_set_pd_tcb(bootstrap_info_t *bs, cspacepath_t pd, cspacepath_t tcb) { argument
651 bs->tcb = tcb;
759 /* set the pd and tcb */
811 static allocman_t *_bootstrap_new_level1(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_ argument
825 _bootstrap_new_level2(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
859 bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
868 bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
1195 cspacepath_t tcb = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_tcb(simple)); local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 59 cspacepath_t tcb; member in struct:bootstrap_info
464 error = api_tcb_set_space(bs->tcb.capPtr, 0,
524 if(pos == bs->tcb.capPtr || pos == bs->pd.capPtr) {
598 error = api_tcb_set_space(bs->tcb.capPtr, 0,
646 bs->tcb = bs->boot_cspace.make_path(bs->boot_cspace.cspace, seL4_CapInitThreadTCB);
649 static void bootstrap_set_pd_tcb(bootstrap_info_t *bs, cspacepath_t pd, cspacepath_t tcb) { argument
651 bs->tcb = tcb;
759 /* set the pd and tcb */
811 static allocman_t *_bootstrap_new_level1(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_ argument
825 _bootstrap_new_level2(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
859 bootstrap_new_1level(bootstrap_info_t *info, size_t cnode_size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
868 bootstrap_new_2level(bootstrap_info_t *info, size_t l1size, size_t l2size, cspacepath_t tcb, cspacepath_t pd, cspacepath_t *oldroot) argument
1195 cspacepath_t tcb = _cspace_simple1level_make_path(&bootstrap->maybe_boot_cspace, simple_get_tcb(simple)); local
[all...] |
| /seL4-refos-master/kernel/include/arch/x86/arch/object/ |
| H A D | vcpu.h | 270 struct tcb *vcpuTCB;
337 void vcpu_sysvmenter_reply_to_user(tcb_t *tcb);
346 void VMCheckBoundNotification(tcb_t *tcb);
|
| /seL4-refos-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 63 void setVMRoot(tcb_t *tcb);
|
| /seL4-refos-master/projects/seL4_libs/libsel4serialserver/src/ |
| H A D | parentapi.c | 125 NAME_THREAD(get_serial_server()->server_thread.tcb.cptr, "serial server");
|
| /seL4-refos-master/kernel/include/model/ |
| H A D | statedata.h | 12 #include <object/tcb.h>
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | thread.c | 29 BOOT_CODE void configureIdleThread(tcb_t *tcb) argument
31 Arch_configureIdleThread(tcb);
32 setThreadState(tcb, ThreadState_IdleThreadState);
|