NUM2CLOCKID 7398 process.c c = NUM2CLOCKID(clk_id); NUM2CLOCKID 7535 process.c clockid_t c = NUM2CLOCKID(clk_id);