diff --git a/lib/psci/psci_main.c b/lib/psci/psci_main.c
index 308c6f9..4799fc6 100644
--- a/lib/psci/psci_main.c
+++ b/lib/psci/psci_main.c
@@ -445,6 +445,9 @@
 			  void *handle,
 			  u_register_t flags)
 {
+	(void)x4;
+	(void)cookie;
+	(void)handle;
 	u_register_t ret;
 
 	if (is_caller_secure(flags)) {