sched_time         60 drivers/gpu/drm/i915/gvt/sched_policy.c 	ktime_t sched_time;
sched_time         85 drivers/gpu/drm/i915/gvt/sched_policy.c 	vgpu_data->sched_time = ktime_add(vgpu_data->sched_time, delta_ts);