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;