cuda_gettime
DEVMETHOD(clock_gettime, cuda_gettime),
static int cuda_gettime(device_t dev, struct timespec *ts);