diff --git a/arch/arm64/kvm/hyp/include/nvhe/modules.h b/arch/arm64/kvm/hyp/include/nvhe/modules.h
index 2453301352bb..d69aa744b82f 100644
--- a/arch/arm64/kvm/hyp/include/nvhe/modules.h
+++ b/arch/arm64/kvm/hyp/include/nvhe/modules.h
@@ -12,7 +12,7 @@ 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; }
+static inline int __pkvm_init_module(void *module_init) { return -EOPNOTSUPP; }
 static inline int
 __pkvm_register_hcall(unsigned long hfn_hyp_va) { return -EOPNOTSUPP; }
 static inline int handle_host_dynamic_hcall(struct kvm_cpu_context *host_ctxt)