diff --git a/frontend/platform/platform_ps3.c b/frontend/platform/platform_ps3.c
index 2a3e231eb4..f02302433f 100644
--- a/frontend/platform/platform_ps3.c
+++ b/frontend/platform/platform_ps3.c
@@ -184,8 +184,9 @@ static void callback_sysutil_exit(uint64_t status, uint64_t param, void *userdat
 }
 #endif
 
-static void get_environment_settings(int argc, char *argv[])
+static void get_environment_settings(int argc, char *argv[], void *args)
 {
+   (void)args;
 #ifndef IS_SALAMANDER
    g_extern.verbose = true;