Searched refs:SYS_AIDR_EL1 (Results 1 – 2 of 2) sorted by relevance
272 GUEST_REG_SYNC(SYS_AIDR_EL1); in guest_code()770 test_id_reg(vcpu, SYS_AIDR_EL1); in test_vcpu_non_ftr_id_regs()801 test_assert_id_reg_unchanged(vcpu, SYS_AIDR_EL1); in test_reset_preserves_id_regs()
403 #define SYS_AIDR_EL1 sys_reg(3, 1, 0, 0, 7) macro