]> asedeno.scripts.mit.edu Git - linux.git/blobdiff - drivers/hv/hv_balloon.c
Merge branch 'x86-pti-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip
[linux.git] / drivers / hv / hv_balloon.c
index b1b7880827931b3eab896c80d16865cfa207c746..41631512ae97e3ab20a4d52e2b3614a03eb832a6 100644 (file)
@@ -689,7 +689,7 @@ static void hv_page_online_one(struct hv_hotadd_state *has, struct page *pg)
        __online_page_increment_counters(pg);
        __online_page_free(pg);
 
-       WARN_ON_ONCE(!spin_is_locked(&dm_device.ha_lock));
+       lockdep_assert_held(&dm_device.ha_lock);
        dm_device.num_pages_onlined++;
 }