Searched refs:tcbVCPU (Results 1 - 17 of 17) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dc_traps.c40 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->kernelSP = ((word_t)kernel_stack_alloc[getCurrentCPUIndex()]) + BIT(
43 if (NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->launched) {
65 : "r"(&NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
93 : "r"(&NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/kernel/
H A Dthread.h40 return (thread->tcbArch.tcbVCPU != NULL);
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dthread.h31 return (thread->tcbArch.tcbVCPU != NULL);
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dthread.c18 vcpu_switch(tcb->tcbArch.tcbVCPU);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dthread.c17 vcpu_switch(tcb->tcbArch.tcbVCPU);
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Dfpu.h117 return thread->tcbArch.tcbVCPU && &thread->tcbArch.tcbVCPU->fpuState == NODE_STATE(ksActiveFPUState);
/seL4-camkes-master/kernel/src/arch/x86/64/
H A Dc_traps.c42 if (cur_thread->tcbArch.tcbVCPU->launched) {
73 : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
114 : [reg]"r"(&cur_thread->tcbArch.tcbVCPU->gp_registers[VCPU_EAX]),
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c473 assert(tcb->tcbArch.tcbVCPU == vcpu);
475 tcb->tcbArch.tcbVCPU = NULL;
498 if (tcb->tcbArch.tcbVCPU) {
499 dissociateVcpuTcb(tcb, tcb->tcbArch.tcbVCPU);
505 tcb->tcbArch.tcbVCPU = vcpu;
922 vcpu = tcb->tcbArch.tcbVCPU;
1081 NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->gp_registers[i]);
1103 assert(vcpu == NODE_STATE(ksCurThread)->tcbArch.tcbVCPU);
1121 vcpu->cr0 = (vcpu->cached_cr0 & ~CR0_TASK_SWITCH) | (NODE_STATE(ksCurThread)->tcbArch.tcbVCPU->cr0 & CR0_TASK_SWITCH);
1156 if (reason == EXCEPTION_OR_NMI && !(NODE_STATE(ksCurThread)->tcbArch.tcbVCPU
[all...]
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h48 vcpu_switch(thread->tcbArch.tcbVCPU);
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h36 vcpu_switch(thread->tcbArch.tcbVCPU);
/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c107 if (syscall == SysVMEnter && NODE_STATE(ksCurThread)->tcbArch.tcbVCPU) {
108 vcpu_update_state_sysvmenter(NODE_STATE(ksCurThread)->tcbArch.tcbVCPU);
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dvcpu.c267 if (tcb->tcbArch.tcbVCPU) {
268 dissociateVCPUTCB(tcb->tcbArch.tcbVCPU, tcb);
273 tcb->tcbArch.tcbVCPU = vcpu;
279 if (tcb->tcbArch.tcbVCPU != vcpu || vcpu->vcpuTCB != tcb) {
285 tcb->tcbArch.tcbVCPU = NULL;
/seL4-camkes-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c570 if (thread->tcbArch.tcbVCPU) {
571 dissociateVCPUTCB(thread->tcbArch.tcbVCPU, thread);
/seL4-camkes-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c513 if (thread->tcbArch.tcbVCPU) {
514 dissociateVCPUTCB(thread->tcbArch.tcbVCPU, thread);
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h34 * tcb->tcbVCPU->vcpuTCB == tcb. */
35 struct vcpu *tcbVCPU; member in struct:arch_tcb
/seL4-camkes-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h22 struct vcpu *tcbVCPU; member in struct:arch_tcb
/seL4-camkes-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h24 * tcb->tcbVCPU->vcpuTCB == tcb. */
25 struct vcpu *tcbVCPU; member in struct:arch_tcb

Completed in 125 milliseconds