timer_gettime32   160 kernel/time/posix-stubs.c SYS_NI(timer_gettime32);
timer_gettime32   733 kernel/time/posix-timers.c SYSCALL_DEFINE2(timer_gettime32, timer_t, timer_id,