Searched refs:hypctx (Results 1 – 11 of 11) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_hyp.c | 40 struct hypctx;
47 vmm_hyp_reg_store(struct hypctx *hypctx, struct hyp *hyp, bool guest) in vmm_hyp_reg_store() argument
116 hypctx->dbgbcr_el1[x] = \ in vmm_hyp_reg_store()
118 hypctx->dbgbvr_el1[x] = \ in vmm_hyp_reg_store()
251 hypctx->tcr2_el1 = 0; in vmm_hyp_reg_store()
262 vmm_hyp_reg_restore(struct hypctx *hypctx, struct hyp *hyp, bool guest) in vmm_hyp_reg_restore() argument
366 hypctx->dbgbvr_el1[x]) in vmm_hyp_reg_restore()
393 hypctx->dbgwvr_el1[x]) in vmm_hyp_reg_restore()
471 vmm_hyp_call_guest(struct hyp *hyp, struct hypctx *hypctx) in vmm_hyp_call_guest() argument
473 struct hypctx host_hypctx; in vmm_hyp_call_guest()
[all …]
|
| H A D | vmm_arm64.c | 523 struct hypctx *hypctx; in vmmops_vcpu_init() local
843 struct hypctx *hypctx; in vmmops_gla2gpa() local
971 hypctx = (struct hypctx *)vcpui; in vmmops_gla2gpa()
1069 struct hypctx *hypctx; in vmmops_run() local
1074 hypctx = (struct hypctx *)vcpui; in vmmops_run()
1203 struct hypctx *hypctx = vcpui; in vmmops_vcpu_cleanup() local
1267 struct hypctx *hypctx = vcpui; in vmmops_getreg() local
1286 struct hypctx *hypctx = vcpui; in vmmops_setreg() local
1305 struct hypctx *hypctx = vcpui; in vmmops_exception() local
1323 struct hypctx *hypctx = vcpui; in vmmops_getcap() local
[all …]
|
| H A D | arm64.h | 45 struct hypctx { struct
129 struct hypctx *ctx[]; argument
171 struct hypctx *arm64_get_active_vcpu(void);
172 void raise_data_insn_abort(struct hypctx *, uint64_t, bool, int);
|
| H A D | vmm_reset.c | 51 struct hypctx *el2ctx; in reset_vm_el01_regs()
114 struct hypctx *el2ctx; in reset_vm_el2_regs()
|
| H A D | vmm.c | 1640 struct hypctx *hypctx; in vm_handle_smccc_call() local
1643 hypctx = vcpu_get_cookie(vcpu); in vm_handle_smccc_call()
1645 if ((hypctx->tf.tf_esr & ESR_ELx_ISS_MASK) != 0) in vm_handle_smccc_call()
1649 vme->u.smccc_call.func_id = hypctx->tf.tf_x[0]; in vm_handle_smccc_call()
1651 vme->u.smccc_call.args[i] = hypctx->tf.tf_x[i + 1]; in vm_handle_smccc_call()
|
| /freebsd/sys/arm64/vmm/io/ |
| H A D | vtimer.c | 68 struct hypctx *hypctx; in vtimer_virtual_timer_intr() local
148 vtimer_cpuinit(struct hypctx *hypctx) in vtimer_cpuinit() argument
189 struct hypctx *hypctx; in vtimer_vmcleanup() local
231 struct hypctx *hypctx; in vtimer_inject_irq_callout_phys() local
241 struct hypctx *hypctx; in vtimer_inject_irq_callout_virt() local
312 struct hypctx *hypctx; in vtimer_phys_ctl_read() local
333 struct hypctx *hypctx; in vtimer_phys_ctl_write() local
378 struct hypctx *hypctx; in vtimer_phys_cval_read() local
392 struct hypctx *hypctx; in vtimer_phys_cval_write() local
412 struct hypctx *hypctx; in vtimer_phys_tval_read() local
[all …]
|
| H A D | vgic_v3.c | 427 struct hypctx *hypctx; in mpidr_to_vcpu() local
658 read_enabler(struct hypctx *hypctx, int n) in read_enabler() argument
706 read_pendr(struct hypctx *hypctx, int n) in read_pendr() argument
900 read_config(struct hypctx *hypctx, int n) in read_config() argument
951 read_route(struct hypctx *hypctx, int n) in read_route() argument
1373 struct hypctx *hypctx; in dist_read() local
1411 struct hypctx *hypctx; in dist_write() local
1616 struct hypctx *hypctx, *target_hypctx; in redist_read() local
1694 struct hypctx *hypctx, *target_hypctx; in redist_write() local
1943 struct hypctx *hypctx; in vgic_v3_get_irq() local
[all …]
|
| H A D | vgic.c | 69 vgic_cpuinit(struct hypctx *hypctx) in vgic_cpuinit() argument
71 VGIC_CPUINIT(vgic_dev, hypctx); in vgic_cpuinit()
75 vgic_cpucleanup(struct hypctx *hypctx) in vgic_cpucleanup() argument
77 VGIC_CPUCLEANUP(vgic_dev, hypctx); in vgic_cpucleanup()
93 vgic_has_pending_irq(struct hypctx *hypctx) in vgic_has_pending_irq() argument
95 return (VGIC_HAS_PENDING_IRQ(vgic_dev, hypctx)); in vgic_has_pending_irq()
113 vgic_flush_hwstate(struct hypctx *hypctx) in vgic_flush_hwstate() argument
115 VGIC_FLUSH_HWSTATE(vgic_dev, hypctx); in vgic_flush_hwstate()
119 vgic_sync_hwstate(struct hypctx *hypctx) in vgic_sync_hwstate() argument
121 VGIC_SYNC_HWSTATE(vgic_dev, hypctx); in vgic_sync_hwstate()
|
| H A D | vgic.h | 32 struct hypctx;
42 void vgic_cpuinit(struct hypctx *hypctx);
43 void vgic_cpucleanup(struct hypctx *hypctx);
46 bool vgic_has_pending_irq(struct hypctx *hypctx);
49 void vgic_flush_hwstate(struct hypctx *hypctx);
50 void vgic_sync_hwstate(struct hypctx *hypctx);
|
| H A D | vgic_if.m | 32 struct hypctx;
58 struct hypctx *hypctx;
63 struct hypctx *hypctx;
78 struct hypctx *hypctx;
98 struct hypctx *hypctx;
103 struct hypctx *hypctx;
|
| H A D | vtimer.h | 38 struct hypctx;
71 void vtimer_cpuinit(struct hypctx *);
72 void vtimer_cpucleanup(struct hypctx *);
75 void vtimer_sync_hwstate(struct hypctx *hypctx);
|