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);