DEFAULT_CONTEXT_HANDLE
ret = DEFAULT_CONTEXT_HANDLE;
DEFAULT_CONTEXT_HANDLE, 0, GFP_KERNEL);
if (args->ctx_id == DEFAULT_CONTEXT_HANDLE)
return c->user_handle == DEFAULT_CONTEXT_HANDLE;