Searched refs:SYS_AFSR1_EL12 (Results 1 – 2 of 2) sorted by relevance
468 #define SYS_AFSR1_EL12 sys_reg(3, 5, 5, 1, 1) macro
92 case AFSR1_EL1: return read_sysreg_s(SYS_AFSR1_EL12); in vcpu_read_sys_reg()135 case AFSR1_EL1: write_sysreg_s(val, SYS_AFSR1_EL12); return; in vcpu_write_sys_reg()