MINCORE_INCORE
ATF_REQUIRE_MSG((v & MINCORE_INCORE) != 0,
val |= MINCORE_INCORE;
val = MINCORE_PSIND(1) | MINCORE_INCORE;
val = MINCORE_INCORE;
val = MINCORE_INCORE | MINCORE_PSIND(psind);
val |= MINCORE_INCORE;
val = MINCORE_INCORE;
val = MINCORE_INCORE | MINCORE_PSIND(1);
val = MINCORE_INCORE;
val |= MINCORE_INCORE;
val = MINCORE_INCORE | MINCORE_PSIND(1);
val = MINCORE_INCORE;
mincoreinfo = MINCORE_INCORE;
ATF_REQUIRE_MSG((vec[p] & MINCORE_INCORE) != 0,
ATF_REQUIRE_MSG((vec[p] & MINCORE_INCORE) != 0,