ifsr32_el2        207 arch/arm64/kvm/hyp/sysreg-sr.c 	sysreg[IFSR32_EL2] = read_sysreg(ifsr32_el2);
ifsr32_el2        229 arch/arm64/kvm/hyp/sysreg-sr.c 	write_sysreg(sysreg[IFSR32_EL2], ifsr32_el2);