Searched refs:DBGVCR32_EL2 (Results 1 – 3 of 3) sorted by relevance
| /Linux-v5.10/arch/arm64/kvm/hyp/include/hyp/ |
| D | sysreg-sr.h | 173 __vcpu_sys_reg(vcpu, DBGVCR32_EL2) = read_sysreg(dbgvcr32_el2); in __sysreg32_save_state()
190 write_sysreg(__vcpu_sys_reg(vcpu, DBGVCR32_EL2), dbgvcr32_el2); in __sysreg32_restore_state()
|
| /Linux-v5.10/arch/arm64/include/asm/ |
| D | kvm_host.h | 201 DBGVCR32_EL2, /* Debug Vector Catch Register */ enumerator
244 #define cp14_DBGVCR (DBGVCR32_EL2 * 2)
|
| /Linux-v5.10/arch/arm64/kvm/ |
| D | sys_regs.c | 101 case DBGVCR32_EL2: *val = read_sysreg_s(SYS_DBGVCR32_EL2); break; in __vcpu_read_sys_reg_from_cpu()
141 case DBGVCR32_EL2: write_sysreg_s(val, SYS_DBGVCR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()
1451 { SYS_DESC(SYS_DBGVCR32_EL2), NULL, reset_val, DBGVCR32_EL2, 0 },
|
