Symbol: timespec_cmp