diff --git a/arch/arm64/include/asm/kvm_hyp.h b/arch/arm64/include/asm/kvm_hyp.h
index d12b208d67f3..663306db081f 100644
--- a/arch/arm64/include/asm/kvm_hyp.h
+++ b/arch/arm64/include/asm/kvm_hyp.h
@@ -132,8 +132,6 @@ extern unsigned long kvm_nvhe_sym(__icache_flags);
 extern unsigned int kvm_nvhe_sym(kvm_arm_vmid_bits);
 extern bool kvm_nvhe_sym(smccc_trng_available);
 
-extern bool kvm_nvhe_sym(__pkvm_modules_enabled);
-
 struct kvm_nvhe_clock_data {
 	u32 mult;
 	u32 shift;
diff --git a/arch/arm64/kvm/hyp/include/nvhe/modules.h b/arch/arm64/kvm/hyp/include/nvhe/modules.h
index f339d881889c..6d95d5f015f8 100644
--- a/arch/arm64/kvm/hyp/include/nvhe/modules.h
+++ b/arch/arm64/kvm/hyp/include/nvhe/modules.h
@@ -17,9 +17,6 @@ int reset_pkvm_priv_hcall_limit(void);
 int __pkvm_init_module(void *module_init);
 int __pkvm_register_hcall(unsigned long hfn_hyp_va);
 int handle_host_dynamic_hcall(struct kvm_cpu_context *host_ctxt);
-void pkvm_modules_lock(void);
-void pkvm_modules_unlock(void);
-bool pkvm_modules_enabled(void);
 int __pkvm_close_module_registration(void);
 #else
 static inline int __pkvm_init_module(void *module_init) { return -EOPNOTSUPP; }
@@ -29,8 +26,5 @@ static inline int handle_host_dynamic_hcall(struct kvm_cpu_context *host_ctxt)
 {
 	return HCALL_UNHANDLED;
 }
-static inline void pkvm_modules_lock(void) { }
-static inline void pkvm_modules_unlock(void) { }
-static inline bool pkvm_modules_enabled(void) { return false; }
 static inline int __pkvm_close_module_registration(void) { return -EOPNOTSUPP; }
 #endif