kernel_cookie     822 drivers/gpu/drm/vmwgfx/vmwgfx_fence.c 		arg->kernel_cookie = jiffies + wait_timeout;
kernel_cookie     832 drivers/gpu/drm/vmwgfx/vmwgfx_fence.c 	if (time_after_eq(timeout, (unsigned long)arg->kernel_cookie)) {
kernel_cookie     838 drivers/gpu/drm/vmwgfx/vmwgfx_fence.c 	timeout = (unsigned long)arg->kernel_cookie - timeout;
kernel_cookie     628 include/uapi/drm/vmwgfx_drm.h 	__u64 kernel_cookie;