Author: kib
Date: Sun Oct 30 18:04:11 2016
New Revision: 308108
URL: https://svnweb.freebsd.org/changeset/base/308108

Log:
  Split long line instead of unindenting it.  Add KASSERT() verifying
  that a device object with the same handle has the same ops vector.
  
  Reviewed by:  alc
  Sponsored by: The FreeBSD Foundation
  MFC after:    1 week

Modified:
  head/sys/vm/device_pager.c

Modified: head/sys/vm/device_pager.c
==============================================================================
--- head/sys/vm/device_pager.c  Sun Oct 30 15:56:42 2016        (r308107)
+++ head/sys/vm/device_pager.c  Sun Oct 30 18:04:11 2016        (r308108)
@@ -169,7 +169,10 @@ cdev_pager_allocate(void *handle, enum o
                        if (pindex > object->size)
                                object->size = pindex;
                        KASSERT(object->type == tp,
-                   ("Inconsistent device pager type %p %d", object, tp));
+                           ("Inconsistent device pager type %p %d",
+                           object, tp));
+                       KASSERT(object->un_pager.devp.ops == ops,
+                           ("Inconsistent devops %p %p", object, ops));
                } else {
                        object = object1;
                        object1 = NULL;
_______________________________________________
svn-src-head@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to