Searched refs:AFSR0_EL1 (Results 1 – 3 of 3) sorted by relevance
38 ctxt_sys_reg(ctxt, AFSR0_EL1) = read_sysreg_el1(SYS_AFSR0); in __sysreg_save_el1_state()104 write_sysreg_el1(ctxt_sys_reg(ctxt, AFSR0_EL1), SYS_AFSR0); in __sysreg_restore_el1_state()
144 AFSR0_EL1, /* Auxiliary Fault Status Register 0 */ enumerator221 #define c5_ADFSR (AFSR0_EL1 * 2) /* Auxiliary Data Fault Status R */
86 case AFSR0_EL1: *val = read_sysreg_s(SYS_AFSR0_EL12); break; in __vcpu_read_sys_reg_from_cpu()126 case AFSR0_EL1: write_sysreg_s(val, SYS_AFSR0_EL12); break; in __vcpu_write_sys_reg_to_cpu()1555 { SYS_DESC(SYS_AFSR0_EL1), access_vm_reg, reset_unknown, AFSR0_EL1 },