/seL4-l4v-master/seL4/src/drivers/timer/ |
H A D | generic_timer.c | 48 #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 D | vcpu.h | 72 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 D | vcpu.c | 11 #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 D | vcpu.c | 19 #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 D | objecttype.c | 20 #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 D | vcpu.h | 13 #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 D | vcpu.h | 13 #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 D | vcpu.h | 13 #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 D | arm_generic.h | 49 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 D | vcpu.h | 13 #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 D | statedata.h | 10 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/x86/arch/object/ |
H A D | vcpu.h | 253 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 D | structures.h | 35 struct vcpu *tcbVCPU;
|
/seL4-l4v-master/seL4/include/arch/x86/arch/model/ |
H A D | statedata.h | 15 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/x86/arch/machine/ |
H A D | fpu.h | 11 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/src/arch/x86/32/ |
H A D | c_traps.c | 15 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/fastpath/ |
H A D | fastpath.h | 16 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/ |
H A D | machine_pl2.h | 10 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 22 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 D | c_traps.c | 9 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/object/ |
H A D | structures.h | 25 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 D | c_traps.c | 13 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 17 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 27 #include <arch/object/vcpu.h>
|
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 27 #include <arch/object/vcpu.h>
|