sys/arm64/vmm/vmm.c
499
.reg_read = vmm_reg_raz,
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),
