sys/arm64/vmm/io/vtimer.c

100

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

225

hypctx_write_sys_reg(hypctx, HOST_CNTVOFF_EL2, hypctx->hyp->cntvoff_el2);

sys/arm64/vmm/io/vtimer.c

283

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

325

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

382

cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

425

*rval = READ_SPECIALREG(cntpct_el0) - hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

488

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/io/vtimer.c

505

cntpct_el0 = READ_SPECIALREG(cntpct_el0) - hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2);

sys/arm64/vmm/vmm_hyp.c

252

hypctx_write_sys_reg(hypctx, HOST_CNTVOFF_EL2,

sys/arm64/vmm/vmm_hyp.c

597

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2));

sys/arm64/vmm/vmm_hyp.c

613

hypctx_read_sys_reg(hypctx, HOST_CNTVOFF_EL2));