{
        struct vmw_cmdbuf_header *cur = man->cur;
 
-       WARN_ON(!mutex_is_locked(&man->cur_mutex));
+       lockdep_assert_held_once(&man->cur_mutex);
 
        if (!cur)
                return;
 {
        struct vmw_cmdbuf_header *cur = man->cur;
 
-       WARN_ON(!mutex_is_locked(&man->cur_mutex));
+       lockdep_assert_held_once(&man->cur_mutex);
 
        WARN_ON(size > cur->reserved);
        man->cur_pos += size;
 
 {
        struct vmw_dx_shader *entry, *next;
 
-       WARN_ON_ONCE(!mutex_is_locked(&dev_priv->binding_mutex));
+       lockdep_assert_held_once(&dev_priv->binding_mutex);
 
        list_for_each_entry_safe(entry, next, list, cotable_head) {
                WARN_ON(vmw_dx_shader_scrub(&entry->res));
 
                union vmw_view_destroy body;
        } *cmd;
 
-       WARN_ON_ONCE(!mutex_is_locked(&dev_priv->binding_mutex));
+       lockdep_assert_held_once(&dev_priv->binding_mutex);
        vmw_binding_res_list_scrub(&res->binding_head);
 
        if (!view->committed || res->id == -1)
 {
        struct vmw_view *entry, *next;
 
-       WARN_ON_ONCE(!mutex_is_locked(&dev_priv->binding_mutex));
+       lockdep_assert_held_once(&dev_priv->binding_mutex);
 
        list_for_each_entry_safe(entry, next, list, cotable_head)
                WARN_ON(vmw_view_destroy(&entry->res));
 {
        struct vmw_view *entry, *next;
 
-       WARN_ON_ONCE(!mutex_is_locked(&dev_priv->binding_mutex));
+       lockdep_assert_held_once(&dev_priv->binding_mutex);
 
        list_for_each_entry_safe(entry, next, list, srf_head)
                WARN_ON(vmw_view_destroy(&entry->res));