IN_VA_HOLE
ASSERT(!IN_VA_HOLE(vaddr));
ASSERT(!IN_VA_HOLE(va));
ASSERT(!IN_VA_HOLE(va));
ASSERT(!IN_VA_HOLE(va));
ASSERT(!IN_VA_HOLE(vaddr));
ASSERT(!IN_VA_HOLE(vaddr));
ASSERT(!IN_VA_HOLE(vaddr));
if (IN_VA_HOLE(vaddr))
if (IN_VA_HOLE(vaddr))
if (IN_VA_HOLE(vaddr))
if (IN_VA_HOLE(vaddr))
ASSERT(!IN_VA_HOLE(vaddr));
ASSERT(!IN_VA_HOLE(va));
ASSERT(!IN_VA_HOLE(va));
if (IN_VA_HOLE(va))
VERIFY(!IN_VA_HOLE(va));
if (IN_VA_HOLE(probe_va))