Source position: linux.pp line 558
function timer_gettime(
timerid: timer_t;
curr_value: pitimerspec
):cint;