MINCORE_SUPER
pmap_mincore(map->pmap, addr, &pa) & MINCORE_SUPER) != 0) {
#define MINCORE_PSIND(i) (((i) << MINCORE_PSIND_SHIFT) & MINCORE_SUPER)
ATF_REQUIRE_MSG((vec[p] & MINCORE_SUPER) ==
ATF_REQUIRE_MSG((vec[p] & MINCORE_SUPER) ==
if ((v & MINCORE_SUPER) == 0)
if ((v & MINCORE_SUPER) != 0)
ATF_REQUIRE_MSG((vec[0] & MINCORE_SUPER) == MINCORE_PSIND(psind),
if ((vec & MINCORE_SUPER) == 0)
ATF_REQUIRE((vec & MINCORE_SUPER) != 0);
ATF_REQUIRE((vec & MINCORE_SUPER) == 0);
ATF_REQUIRE((vec & MINCORE_SUPER) != 0);
ATF_REQUIRE((vec & MINCORE_SUPER) == 0);
ATF_REQUIRE((vec & MINCORE_SUPER) != 0);