sys/arm64/vmm/vmm_hyp.c

482

WRITE_SPECIALREG(EL0_REG(CNTV_CVAL),

sys/arm64/vmm/vmm_hyp.c

484

WRITE_SPECIALREG(EL0_REG(CNTV_CTL),

sys/arm64/vmm/vmm_hyp.c

505

WRITE_SPECIALREG(EL0_REG(CNTP_CVAL),

sys/arm64/vmm/vmm_hyp.c

507

WRITE_SPECIALREG(EL0_REG(CNTP_CTL),

sys/arm64/vmm/vmm_hyp.c

54

READ_SPECIALREG(EL0_REG(CNTV_CVAL));

sys/arm64/vmm/vmm_hyp.c

56

READ_SPECIALREG(EL0_REG(CNTV_CTL));

sys/arm64/vmm/vmm_hyp.c

65

READ_SPECIALREG(EL0_REG(CNTP_CVAL));

sys/arm64/vmm/vmm_hyp.c

67

READ_SPECIALREG(EL0_REG(CNTP_CTL));