diff --git a/services/std_svc/psci/psci_afflvl_suspend.c b/services/std_svc/psci/psci_afflvl_suspend.c
index dad0cef..76e8c90 100644
--- a/services/std_svc/psci/psci_afflvl_suspend.c
+++ b/services/std_svc/psci/psci_afflvl_suspend.c
@@ -58,7 +58,7 @@
  * powered down during a cpu_suspend call. Returns PSCI_INVALID_DATA if the
  * power state is invalid.
  ******************************************************************************/
-int psci_get_suspend_afflvl()
+int psci_get_suspend_afflvl(void)
 {
 	unsigned int power_state;
 
@@ -73,7 +73,7 @@
  * parameter saved in the per-cpu data array. Returns PSCI_INVALID_DATA if the
  * power state saved is invalid.
  ******************************************************************************/
-int psci_get_suspend_stateid()
+int psci_get_suspend_stateid(void)
 {
 	unsigned int power_state;
 
diff --git a/services/std_svc/psci/psci_common.c b/services/std_svc/psci/psci_common.c
index 7ab607d..237cf1e 100644
--- a/services/std_svc/psci/psci_common.c
+++ b/services/std_svc/psci/psci_common.c
@@ -133,7 +133,7 @@
  * been physically powered up. It is expected to be called immediately after
  * reset from assembler code.
  ******************************************************************************/
-int get_power_on_target_afflvl()
+int get_power_on_target_afflvl(void)
 {
 	int afflvl;