Searched refs:DBGVCR32_EL2 (Results 1 – 3 of 3) sorted by relevance
210 sysreg[DBGVCR32_EL2] = read_sysreg(dbgvcr32_el2); in __sysreg32_save_state()232 write_sysreg(sysreg[DBGVCR32_EL2], dbgvcr32_el2); in __sysreg32_restore_state()
169 DBGVCR32_EL2, /* Debug Vector Catch Register */ enumerator213 #define cp14_DBGVCR (DBGVCR32_EL2 * 2)
105 case DBGVCR32_EL2: return read_sysreg_s(SYS_DBGVCR32_EL2); in vcpu_read_sys_reg()148 case DBGVCR32_EL2: write_sysreg_s(val, SYS_DBGVCR32_EL2); return; in vcpu_write_sys_reg()1419 { SYS_DESC(SYS_DBGVCR32_EL2), NULL, reset_val, DBGVCR32_EL2, 0 },