diff --git a/src/imagination/vulkan/winsys/pvrsrvkm/pvr_srv_sync.c b/src/imagination/vulkan/winsys/pvrsrvkm/pvr_srv_sync.c
index b8642bcbe5b..79c2024c904 100644
--- a/src/imagination/vulkan/winsys/pvrsrvkm/pvr_srv_sync.c
+++ b/src/imagination/vulkan/winsys/pvrsrvkm/pvr_srv_sync.c
@@ -101,26 +101,6 @@ static VkResult pvr_srv_sync_reset(struct vk_device *device,
    return VK_SUCCESS;
 }
 
-/* Careful, timeout might overflow. */
-static inline void pvr_start_timeout(struct timespec *timeout,
-                                     uint64_t timeout_ns)
-{
-   clock_gettime(CLOCK_MONOTONIC, timeout);
-   timespec_add_nsec(timeout, timeout, timeout_ns);
-}
-
-/* Careful, a negative value might be returned. */
-static inline struct timespec
-pvr_get_remaining_time(const struct timespec *timeout)
-{
-   struct timespec time;
-
-   clock_gettime(CLOCK_MONOTONIC, &time);
-   timespec_sub(&time, timeout, &time);
-
-   return time;
-}
-
 static inline int pvr_get_relative_time_ms(uint64_t abs_timeout_ns)
 {
    uint64_t cur_time_ms;