Symbol: __kernel_timespec