diff options
Diffstat (limited to 'usr/src/uts/i86pc/vm/htable.c')
| -rw-r--r-- | usr/src/uts/i86pc/vm/htable.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/usr/src/uts/i86pc/vm/htable.c b/usr/src/uts/i86pc/vm/htable.c index 2385fdecb1..1ffb562599 100644 --- a/usr/src/uts/i86pc/vm/htable.c +++ b/usr/src/uts/i86pc/vm/htable.c @@ -22,6 +22,7 @@ /* * Copyright (c) 2004, 2010, Oracle and/or its affiliates. All rights reserved. * Copyright (c) 2014 by Delphix. All rights reserved. + * Copyright 2015 Joyent, Inc. */ #include <sys/types.h> @@ -1714,8 +1715,6 @@ htable_walk( } while (va < eaddr && va >= *vaddr) { - ASSERT(!IN_VA_HOLE(va)); - /* * Find lowest table with any entry for given address. */ @@ -1724,6 +1723,7 @@ htable_walk( if (ht != NULL) { pte = htable_scan(ht, &va, eaddr); if (PTE_ISPAGE(pte, l)) { + VERIFY(!IN_VA_HOLE(va)); *vaddr = va; *htp = ht; return (pte); |