sys/arm64/vmm/io/vtimer.c

189

hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,

sys/arm64/vmm/io/vtimer.c

193

*hypctx_sys_reg(hypctx, HOST_CNTHCTL_EL2) |=

sys/arm64/vmm/io/vtimer.c

199

*hypctx_sys_reg(hypctx, HOST_CNTHCTL_EL2) |=

sys/arm64/vmm/io/vtimer.c

212

hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,

sys/arm64/vmm/io/vtimer.c

216

hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,

sys/arm64/vmm/io/vtimer.c

223

*hypctx_sys_reg(hypctx, HOST_CNTHCTL_EL2) |= CNTHCTL_ECV_EN;

sys/arm64/vmm/io/vtimer.c

286

if ((hypctx_read_sys_reg(hypctx, HOST_CNTHCTL_EL2) & CNTHCTL_ECV_EN) != 0) {

sys/arm64/vmm/vmm_hyp.c

250

hypctx_write_sys_reg(hypctx, HOST_CNTHCTL_EL2,

sys/arm64/vmm/vmm_hyp.c

256

ecv_poff = (hypctx_read_sys_reg(hypctx, HOST_CNTHCTL_EL2) &

sys/arm64/vmm/vmm_hyp.c

591

ecv_poff = (hypctx_read_sys_reg(hypctx, HOST_CNTHCTL_EL2) &

sys/arm64/vmm/vmm_hyp.c

595

hypctx_read_sys_reg(hypctx, HOST_CNTHCTL_EL2));