diff --git a/src/time/clock_gettime.c b/src/time/clock_gettime.c
index 8e1761b3..d912f2ce 100644
--- a/src/time/clock_gettime.c
+++ b/src/time/clock_gettime.c
@@ -54,6 +54,7 @@ static void *volatile vdso_func = (void *)cgt_init;
 
 #endif
 
+#ifndef PS4
 int __clock_gettime(clockid_t clk, struct timespec *ts)
 {
 	int r;
@@ -109,3 +110,4 @@ int __clock_gettime(clockid_t clk, struct timespec *ts)
 }
 
 weak_alias(__clock_gettime, clock_gettime);
+#endif
diff --git a/src/time/time.c b/src/time/time.c
index ad0480f9..92bb45c2 100644
--- a/src/time/time.c
+++ b/src/time/time.c
@@ -4,7 +4,11 @@
 time_t time(time_t *t)
 {
 	struct timespec ts;
+#ifndef PS4
 	__clock_gettime(CLOCK_REALTIME, &ts);
+#else
+	clock_gettime(CLOCK_REALTIME, &ts);
+#endif
 	if (t) *t = ts.tv_sec;
 	return ts.tv_sec;
 }