Hi,

According to man clock_getcpuclockid() should return ESRCH if there is no process with the ID pid.

diff --git a/src/time/clock_getcpuclockid.c b/src/time/clock_getcpuclockid.c
--- a/src/time/clock_getcpuclockid.c
+++ b/src/time/clock_getcpuclockid.c
@@ -8,6 +8,7 @@ int clock_getcpuclockid(pid_t pid, clockid_t *clk)
        struct timespec ts;
        clockid_t id = (-pid-1)*8U + 2;
        int ret = __syscall(SYS_clock_getres, id, &ts);
+       if (ret == -EINVAL) ret = -ESRCH;
        if (ret) return -ret;
        *clk = id;
        return 0--