diff --git a/target/arm/kvm_arm.h b/target/arm/kvm_arm.h
index 8c69957fbf0801c54517a4cb425d8d1cfa5b3a49..13509b7836d7311ed730924b9f63abae8e366cdf 100644
--- a/target/arm/kvm_arm.h
+++ b/target/arm/kvm_arm.h
@@ -534,7 +534,7 @@ static inline int kvm_arm_get_writable_id_regs(ARMCPU *cpu, IdRegMap *idregmap)
     return -ENOSYS;
 }
 
-void kvm_arm_writable_idregs_to_cpreg_list(ARMCPU *cpu)
+static inline void kvm_arm_writable_idregs_to_cpreg_list(ARMCPU *cpu)
 {
     g_assert_not_reached();
 }