In the function _timedwait_cp, 'clk' indicates the type of clock used, CLOCK_REALTIME or CLOCK_MONOTONIC. when we call __syscall_cp in this function, the fifth parameter 'top' is calculated based on the clock type. However, the third parameter is not set according to the clock type. CLOCK_MONOTONIC is used by default. Is this a bug? Or other considerations? Thanks, Zhao Hang