|
@@ -33,20 +33,11 @@ static bool __hyp_text __fpsimd_enabled_nvhe(void)
|
|
|
return !(read_sysreg(cptr_el2) & CPTR_EL2_TFP);
|
|
|
}
|
|
|
|
|
|
-static bool __hyp_text __fpsimd_enabled_vhe(void)
|
|
|
+static bool fpsimd_enabled_vhe(void)
|
|
|
{
|
|
|
return !!(read_sysreg(cpacr_el1) & CPACR_EL1_FPEN);
|
|
|
}
|
|
|
|
|
|
-static hyp_alternate_select(__fpsimd_is_enabled,
|
|
|
- __fpsimd_enabled_nvhe, __fpsimd_enabled_vhe,
|
|
|
- ARM64_HAS_VIRT_HOST_EXTN);
|
|
|
-
|
|
|
-bool __hyp_text __fpsimd_enabled(void)
|
|
|
-{
|
|
|
- return __fpsimd_is_enabled()();
|
|
|
-}
|
|
|
-
|
|
|
/* Save the 32-bit only FPSIMD system register state */
|
|
|
static void __hyp_text __fpsimd_save_fpexc32(struct kvm_vcpu *vcpu)
|
|
|
{
|
|
@@ -414,7 +405,7 @@ int kvm_vcpu_run_vhe(struct kvm_vcpu *vcpu)
|
|
|
/* And we're baaack! */
|
|
|
} while (fixup_guest_exit(vcpu, &exit_code));
|
|
|
|
|
|
- fp_enabled = __fpsimd_enabled();
|
|
|
+ fp_enabled = fpsimd_enabled_vhe();
|
|
|
|
|
|
sysreg_save_guest_state_vhe(guest_ctxt);
|
|
|
__vgic_save_state(vcpu);
|
|
@@ -481,7 +472,7 @@ int __hyp_text __kvm_vcpu_run_nvhe(struct kvm_vcpu *vcpu)
|
|
|
}
|
|
|
}
|
|
|
|
|
|
- fp_enabled = __fpsimd_enabled();
|
|
|
+ fp_enabled = __fpsimd_enabled_nvhe();
|
|
|
|
|
|
__sysreg_save_state_nvhe(guest_ctxt);
|
|
|
__sysreg32_save_state(vcpu);
|