|
@@ -171,10 +171,7 @@ void __debug_cond_restore_host_state(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
void __fpsimd_save_state(struct user_fpsimd_state *fp_regs);
|
|
void __fpsimd_save_state(struct user_fpsimd_state *fp_regs);
|
|
void __fpsimd_restore_state(struct user_fpsimd_state *fp_regs);
|
|
void __fpsimd_restore_state(struct user_fpsimd_state *fp_regs);
|
|
-static inline bool __fpsimd_enabled(void)
|
|
|
|
-{
|
|
|
|
- return !(read_sysreg(cptr_el2) & CPTR_EL2_TFP);
|
|
|
|
-}
|
|
|
|
|
|
+bool __fpsimd_enabled(void);
|
|
|
|
|
|
u64 __guest_enter(struct kvm_vcpu *vcpu, struct kvm_cpu_context *host_ctxt);
|
|
u64 __guest_enter(struct kvm_vcpu *vcpu, struct kvm_cpu_context *host_ctxt);
|
|
void __noreturn __hyp_do_panic(unsigned long, ...);
|
|
void __noreturn __hyp_do_panic(unsigned long, ...);
|