sys/arm64/vmm/vmm.c

505

SPECIAL_REG(CNTP_CTL_EL0, vtimer_phys_ctl_read, vtimer_phys_ctl_write),

sys/arm64/vmm/vmm.c

506

SPECIAL_REG(CNTP_CVAL_EL0, vtimer_phys_cval_read,

sys/arm64/vmm/vmm.c

508

SPECIAL_REG(CNTP_TVAL_EL0, vtimer_phys_tval_read,

sys/arm64/vmm/vmm.c

510

SPECIAL_REG(CNTPCT_EL0, vtimer_phys_cnt_read, vtimer_phys_cnt_write),

sys/arm64/vmm/vmm.c

513

SPECIAL_REG(DBGPRCR_EL1, vmm_reg_raz, vmm_reg_wi),

sys/arm64/vmm/vmm.c

514

SPECIAL_REG(OSDLR_EL1, vmm_reg_raz, vmm_reg_wi),

sys/arm64/vmm/vmm.c

516

SPECIAL_REG(OSLAR_EL1, vmm_reg_raz, vmm_write_oslar_el1),

sys/arm64/vmm/vmm.c

517

SPECIAL_REG(OSLSR_EL1, vmm_read_oslsr_el1, vmm_reg_wi),