device_time        32 drivers/ptp/ptp_kvm.c static int ptp_kvm_get_time_fn(ktime_t *device_time,
device_time        78 drivers/ptp/ptp_kvm.c 	*device_time = timespec64_to_ktime(tspec);
device_time       271 include/linux/timekeeping.h 			int (*get_time_fn)(ktime_t *device_time,
device_time      1118 kernel/time/timekeeping.c 				  (ktime_t *device_time,