sys/arm64/vmm/vmm_arm64.c

1111

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2, (uint64_t)pc);

sys/arm64/vmm/vmm_arm64.c

1117

hypctx_read_sys_reg(hypctx, HOST_ELR_EL2));

sys/arm64/vmm/vmm_arm64.c

1124

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,

sys/arm64/vmm/vmm_arm64.c

1127

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,

sys/arm64/vmm/vmm_arm64.c

1131

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,

sys/arm64/vmm/vmm_arm64.c

1135

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2,

sys/arm64/vmm/vmm_arm64.c

1209

vme->pc = hypctx_read_sys_reg(hypctx, HOST_ELR_EL2);

sys/arm64/vmm/vmm_arm64.c

1223

*hypctx_sys_reg(hypctx, HOST_ELR_EL2) += vme->inst_length;

sys/arm64/vmm/vmm_arm64.c

1292

return hypctx_sys_reg(hypctx, HOST_ELR_EL2);

sys/arm64/vmm/vmm_hyp.c

277

hypctx_write_sys_reg(hypctx, HOST_ELR_EL2, READ_SPECIALREG(elr_el2));

sys/arm64/vmm/vmm_hyp.c

450

WRITE_SPECIALREG(elr_el2, hypctx_read_sys_reg(hypctx, HOST_ELR_EL2));