Searched refs:DBGVCR32_EL2 (Results 1 – 3 of 3) sorted by relevance
/arch/arm64/kvm/hyp/include/hyp/ |
D | sysreg-sr.h | 178 __vcpu_sys_reg(vcpu, DBGVCR32_EL2) = read_sysreg(dbgvcr32_el2); in __sysreg32_save_state() 195 write_sysreg(__vcpu_sys_reg(vcpu, DBGVCR32_EL2), dbgvcr32_el2); in __sysreg32_restore_state()
|
/arch/arm64/include/asm/ |
D | kvm_host.h | 215 DBGVCR32_EL2, /* Debug Vector Catch Register */ enumerator 504 case DBGVCR32_EL2: *val = read_sysreg_s(SYS_DBGVCR32_EL2); break; in __vcpu_read_sys_reg_from_cpu() 549 case DBGVCR32_EL2: write_sysreg_s(val, SYS_DBGVCR32_EL2); break; in __vcpu_write_sys_reg_to_cpu()
|
/arch/arm64/kvm/ |
D | sys_regs.c | 1385 { SYS_DESC(SYS_DBGVCR32_EL2), NULL, reset_val, DBGVCR32_EL2, 0 }, 1811 { Op1( 0), CRn( 0), CRm( 7), Op2( 0), trap_debug_regs, NULL, DBGVCR32_EL2 },
|