CPU_ISSET_S
ATF_REQUIRE(CPU_ISSET_S(maxcpuid + 1, cpusetsize, set) == false);
ATF_REQUIRE(CPU_ISSET_S(maxcpuid, cpusetsize, set) == true);