Searched refs:vcpu (Results 1 - 25 of 25) sorted by relevance

/seL4-l4v-master/seL4/src/drivers/timer/
H A Dgeneric_timer.c48 #include <arch/object/vcpu.h>
49 #include <armv/vcpu.h>
60 static void save_virt_timer(vcpu_t *vcpu) argument
63 vcpu_save_reg(vcpu, seL4_VCPUReg_CNTV_CTL);
67 vcpu_save_reg(vcpu, seL4_VCPUReg_CNTV_CVAL);
68 vcpu_save_reg(vcpu, seL4_VCPUReg_CNTVOFF);
69 vcpu_save_reg(vcpu, seL4_VCPUReg_CNTKCTL_EL1);
74 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTV_CVALhigh, (word_t)(cval >> 32));
75 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTV_CVALlow, (word_t)cval);
76 vcpu_write_reg(vcpu, seL4_VCPUReg_CNTVOFFhig
85 restore_virt_timer(vcpu_t *vcpu) argument
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dvcpu.h72 struct vcpu { struct
87 typedef struct vcpu vcpu_t;
88 compile_assert(vcpu_size_correct, sizeof(struct vcpu) <= BIT(VCPU_SIZE_BITS))
94 void vcpu_init(vcpu_t *vcpu);
100 void vcpu_finalise(vcpu_t *vcpu);
102 void associateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb);
104 void dissociateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb);
120 void handleVCPUInjectInterruptIPI(vcpu_t *vcpu, unsigned long index, virq_t virq);
129 exception_t invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value);
130 exception_t invokeVCPUReadReg(vcpu_t *vcpu, word_
137 vcpu_save_reg(vcpu_t *vcpu, word_t reg) argument
146 vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
153 vcpu_restore_reg(vcpu_t *vcpu, word_t reg) argument
162 vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) argument
169 vcpu_read_reg(vcpu_t *vcpu, word_t reg) argument
178 vcpu_write_reg(vcpu_t *vcpu, word_t reg, word_t value) argument
[all...]
/seL4-l4v-master/seL4/src/arch/arm/object/
H A Dvcpu.c11 #include <arch/object/vcpu.h>
12 #include <armv/vcpu.h>
32 static void vcpu_save(vcpu_t *vcpu, bool_t active) argument
37 assert(vcpu);
42 vcpu_save_reg(vcpu, seL4_VCPUReg_SCTLR);
43 vcpu->vgic.hcr = get_gic_vcpu_ctrl_hcr();
44 save_virt_timer(vcpu);
48 vcpu->vgic.vmcr = get_gic_vcpu_ctrl_vmcr();
49 vcpu->vgic.apr = get_gic_vcpu_ctrl_apr();
52 vcpu
58 readVCPUReg(vcpu_t *vcpu, word_t field) argument
78 writeVCPUReg(vcpu_t *vcpu, word_t field, word_t value) argument
97 vcpu_restore(vcpu_t *vcpu) argument
213 vcpu_init(vcpu_t *vcpu) argument
258 vcpu_finalise(vcpu_t *vcpu) argument
265 associateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb) argument
277 dissociateVCPUTCB(vcpu_t *vcpu, tcb_t *tcb) argument
299 invokeVCPUWriteReg(vcpu_t *vcpu, word_t field, word_t value) argument
326 invokeVCPUReadReg(vcpu_t *vcpu, word_t field, bool_t call) argument
364 invokeVCPUInjectIRQ(vcpu_t *vcpu, unsigned long index, virq_t virq) argument
382 vcpu_t *vcpu; local
493 vcpu_t *vcpu = VCPU_PTR(cap_vcpu_cap_get_capVCPUPtr(cap)); local
519 invokeVCPUAckVPPI(vcpu_t *vcpu, VPPIEventIRQ_t vppi) argument
545 invokeVCPUSetTCB(vcpu_t *vcpu, tcb_t *tcb) argument
568 handleVCPUInjectInterruptIPI(vcpu_t *vcpu, unsigned long index, virq_t virq) argument
[all...]
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c19 #include <arch/object/vcpu.h>
115 vcpu_t *vcpu = ARCH_NODE_STATE(x86KSCurrentVCPU); local
116 if (vcpu) {
117 vmclear(vcpu);
118 vcpu->launched = false;
140 static void switchVCPU(vcpu_t *vcpu) argument
143 if (vcpu->last_cpu != getCurrentCPUIndex() && ARCH_NODE_STATE_ON_CORE(x86KSCurrentVCPU, vcpu->last_cpu) == vcpu) {
144 /* vcpu i
397 vcpu_init(vcpu_t *vcpu) argument
471 dissociateVcpuTcb(tcb_t *tcb, vcpu_t *vcpu) argument
479 vcpu_finalise(vcpu_t *vcpu) argument
496 associateVcpuTcb(tcb_t *tcb, vcpu_t *vcpu) argument
508 invokeVCPUWriteRegisters(vcpu_t *vcpu, word_t *buffer) argument
528 invokeEnableIOPort(vcpu_t *vcpu, cte_t *slot, cap_t cap, uint16_t low, uint16_t high) argument
545 vcpu_t *vcpu; local
585 invokeDisableIOPort(vcpu_t *vcpu, uint16_t low, uint16_t high) argument
594 vcpu_t *vcpu; local
611 invokeWriteVMCS(vcpu_t *vcpu, word_t *buffer, word_t field, word_t value) argument
743 readVMCSField(vcpu_t *vcpu, word_t field) argument
761 invokeReadVMCS(vcpu_t *vcpu, word_t field, word_t *buffer) argument
872 invokeSetTCB(vcpu_t *vcpu, tcb_t *tcb) argument
899 vcpu_update_state_sysvmenter(vcpu_t *vcpu) argument
919 vcpu_t *vcpu; local
1102 vcpu_t *vcpu = ARCH_NODE_STATE(x86KSCurrentVCPU); local
1313 setEPTRoot(cap_t vmxSpace, vcpu_t *vcpu) argument
1349 vcpu_t *vcpu = NODE_STATE(ksCurThread)->tcbArch.tcbVCPU; local
1404 vcpu_t *vcpu = x86KSVPIDTable[vpid]; local
1423 vcpu_t *vcpu = x86KSVPIDTable[vpid]; local
1456 storeVPID(vcpu_t *vcpu, vpid_t vpid) argument
[all...]
H A Dobjecttype.c20 #include <arch/object/vcpu.h>
464 vcpu_t *vcpu; local
465 vcpu = VCPU_PTR((word_t)regionBase);
466 vcpu_init(vcpu);
467 return cap_vcpu_cap_new(VCPU_REF(vcpu));
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7ve/armv/
H A Dvcpu.h13 #include <arch/object/vcpu.h>
637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
647 VMSR(FPEXC, vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC));
651 vcpu_write_reg(vcpu, seL4_VCPUReg_FPEXC, fpexc);
682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
685 vcpu_save_reg_range(vcpu, seL4_VCPUReg_ACTLR, seL4_VCPUReg_SPSRfiq);
691 saveAllBreakpointState(vcpu->vcpuTCB);
699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
700 access_fpexc(vcpu, false);
706 static inline void vcpu_enable(vcpu_t *vcpu) argument
784 vcpu_disable(vcpu_t *vcpu) argument
830 armv_vcpu_init(vcpu_t *vcpu) argument
[all...]
/seL4-l4v-master/seL4/include/arch/arm/armv/armv7-a/armv/
H A Dvcpu.h13 #include <arch/object/vcpu.h>
637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
647 VMSR(FPEXC, vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC));
651 vcpu_write_reg(vcpu, seL4_VCPUReg_FPEXC, fpexc);
682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
685 vcpu_save_reg_range(vcpu, seL4_VCPUReg_ACTLR, seL4_VCPUReg_SPSRfiq);
691 saveAllBreakpointState(vcpu->vcpuTCB);
699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
700 access_fpexc(vcpu, false);
706 static inline void vcpu_enable(vcpu_t *vcpu) argument
784 vcpu_disable(vcpu_t *vcpu) argument
830 armv_vcpu_init(vcpu_t *vcpu) argument
[all...]
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/32/armv/
H A Dvcpu.h13 #include <arch/object/vcpu.h>
637 static inline void access_fpexc(vcpu_t *vcpu, bool_t write) argument
647 VMSR(FPEXC, vcpu_read_reg(vcpu, seL4_VCPUReg_FPEXC));
651 vcpu_write_reg(vcpu, seL4_VCPUReg_FPEXC, fpexc);
682 static inline void armv_vcpu_save(vcpu_t *vcpu, bool_t active) argument
685 vcpu_save_reg_range(vcpu, seL4_VCPUReg_ACTLR, seL4_VCPUReg_SPSRfiq);
691 saveAllBreakpointState(vcpu->vcpuTCB);
699 if (active && nativeThreadUsingFPU(vcpu->vcpuTCB)) {
700 access_fpexc(vcpu, false);
706 static inline void vcpu_enable(vcpu_t *vcpu) argument
784 vcpu_disable(vcpu_t *vcpu) argument
830 armv_vcpu_init(vcpu_t *vcpu) argument
[all...]
/seL4-l4v-master/seL4/include/drivers/timer/
H A Darm_generic.h49 static void save_virt_timer(vcpu_t *vcpu);
50 static void restore_virt_timer(vcpu_t *vcpu);
/seL4-l4v-master/seL4/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h13 #include <arch/object/vcpu.h>
581 static inline void armv_vcpu_save(vcpu_t *vcpu, UNUSED bool_t active) argument
583 vcpu_save_reg_range(vcpu, seL4_VCPUReg_TTBR0, seL4_VCPUReg_SPSR_EL1);
586 static inline void vcpu_enable(vcpu_t *vcpu) argument
590 vcpu_restore_reg(vcpu, seL4_VCPUReg_SCTLR);
593 set_gic_vcpu_ctrl_hcr(vcpu->vgic.hcr);
595 vcpu_restore_reg(vcpu, seL4_VCPUReg_CPACR);
598 restore_virt_timer(vcpu);
601 static inline void vcpu_disable(vcpu_t *vcpu) argument
606 if (likely(vcpu)) {
640 armv_vcpu_init(vcpu_t *vcpu) argument
[all...]
/seL4-l4v-master/seL4/include/arch/arm/arch/model/
H A Dstatedata.h10 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dvcpu.h253 struct vcpu { struct
310 typedef struct vcpu vcpu_t;
318 void vcpu_init(vcpu_t *vcpu);
321 void vcpu_finalise(vcpu_t *vcpu);
335 void vcpu_update_state_sysvmenter(vcpu_t *vcpu);
H A Dstructures.h35 struct vcpu *tcbVCPU;
/seL4-l4v-master/seL4/include/arch/x86/arch/model/
H A Dstatedata.h15 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/
H A Dfpu.h11 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dc_traps.c15 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h16 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/
H A Dmachine_pl2.h10 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/object/
H A Dstructures.h22 struct vcpu *tcbVCPU;
101 /* Generate a vcpu_t pointer from a vcpu block reference */
102 #define VCPU_PTR(r) ((struct vcpu *)(r))
/seL4-l4v-master/seL4/src/arch/arm/
H A Dc_traps.c9 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/object/
H A Dstructures.h25 struct vcpu *tcbVCPU;
51 /* Generate a vcpu_t pointer from a vcpu block reference */
52 #define VCPU_PTR(r) ((struct vcpu *)(r))
/seL4-l4v-master/seL4/src/arch/x86/
H A Dc_traps.c13 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/src/arch/arm/32/object/
H A Dobjecttype.c17 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/
H A Dvspace.c27 #include <arch/object/vcpu.h>
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/
H A Dvspace.c27 #include <arch/object/vcpu.h>

Completed in 113 milliseconds