Searched refs:SYS_AFSR0_EL12 (Results 1 – 2 of 2) sorted by relevance
488 case AFSR0_EL1: *val = read_sysreg_s(SYS_AFSR0_EL12); break; in __vcpu_read_sys_reg_from_cpu()533 case AFSR0_EL1: write_sysreg_s(val, SYS_AFSR0_EL12); break; in __vcpu_write_sys_reg_to_cpu()
588 #define SYS_AFSR0_EL12 sys_reg(3, 5, 5, 1, 0) macro