FPEXC32_EL2 52 arch/arm64/kvm/hyp/switch.c vcpu->arch.ctxt.sys_regs[FPEXC32_EL2] = read_sysreg(fpexc32_el2); FPEXC32_EL2 388 arch/arm64/kvm/hyp/switch.c write_sysreg(vcpu->arch.ctxt.sys_regs[FPEXC32_EL2], FPEXC32_EL2 1650 arch/arm64/kvm/sys_regs.c { SYS_DESC(SYS_FPEXC32_EL2), NULL, reset_val, FPEXC32_EL2, 0x700 },