check_residency
(void)check_residency(addr, npgs);
ATF_REQUIRE(check_residency(addr, npgs) == npgs);
ATF_REQUIRE(check_residency(addr, npgs) == 0);
resident = check_residency(addr, npgs);
ATF_REQUIRE(check_residency(addr2, npgs) == npgs);
ATF_REQUIRE(check_residency(addr3, npgs) == 0);
ATF_REQUIRE(check_residency(addr, npgs) == npgs);
ATF_REQUIRE(check_residency(addr2, npgs) == npgs);
ATF_REQUIRE(check_residency(addr2, npgs) == 0);
ATF_REQUIRE(check_residency(addr, npgs) == 0);
ATF_REQUIRE(check_residency(addr, npgs) == 0);
ATF_REQUIRE(check_residency(addr, npgs) == npgs);
npgs = check_residency(addr, npgs);
static size_t check_residency(void *, size_t);