diff --git a/target/arm/internals.h b/target/arm/internals.h
index 20b9c1da384ec9d8010d8a85cbf03473725d9d9d..a02a98d72acc3c0cd11128445c02f15ec57e400f 100644
--- a/target/arm/internals.h
+++ b/target/arm/internals.h
@@ -314,10 +314,17 @@ vaddr arm_adjust_watchpoint_address(CPUState *cs, vaddr addr, int len);
 /* Callback function for when a watchpoint or breakpoint triggers. */
 void arm_debug_excp_handler(CPUState *cs);
 
+#ifdef CONFIG_USER_ONLY
+static inline bool arm_is_psci_call(ARMCPU *cpu, int excp_type)
+{
+    return false;
+}
+#else
 /* Return true if the r0/x0 value indicates that this SMC/HVC is a PSCI call. */
 bool arm_is_psci_call(ARMCPU *cpu, int excp_type);
 /* Actually handle a PSCI call */
 void arm_handle_psci_call(ARMCPU *cpu);
+#endif
 
 /**
  * arm_clear_exclusive: clear the exclusive monitor