fpexc32_el2        52 arch/arm64/kvm/hyp/switch.c 	vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2);
fpexc32_el2        67 arch/arm64/kvm/hyp/switch.c 		write_sysreg(1 << 30, fpexc32_el2);
fpexc32_el2       389 arch/arm64/kvm/hyp/switch.c 			     fpexc32_el2);