MINCORE_PSIND
val = MINCORE_PSIND(2);
val = MINCORE_PSIND(1);
val = MINCORE_PSIND(1) | MINCORE_INCORE;
val = MINCORE_INCORE | MINCORE_PSIND(psind);
val = MINCORE_PSIND(1);
val = MINCORE_INCORE | MINCORE_PSIND(1);
val = MINCORE_PSIND(1);
val = MINCORE_INCORE | MINCORE_PSIND(1);
MINCORE_PSIND(i),
MINCORE_PSIND(i),
ATF_REQUIRE_MSG((vec[0] & MINCORE_SUPER) == MINCORE_PSIND(psind),