Searched refs:maxcpuid (Results 1 – 1 of 1) sorted by relevance
16 static uint32_t maxcpuid; variable72 cpu = maxcpuid > 1 ? maxcpuid - 1 : 0; in ATF_TC_BODY()75 set = CPU_ALLOC(maxcpuid + 1); in ATF_TC_BODY()102 ATF_REQUIRE(maxcpuid < maxcpus); in ATF_TC_BODY()103 cpu = maxcpuid > 1 ? maxcpuid - 1 : 0; in ATF_TC_BODY()123 set = CPU_ALLOC(maxcpuid + 1); in ATF_TC_BODY()138 set = CPU_ALLOC(maxcpuid + 1); in ATF_TC_BODY()164 CPU_SET_S(maxcpuid, cpusetsize, set); in ATF_TC_BODY()214 set = CPU_ALLOC(maxcpuid + 1); in ATF_TC_BODY()233 CPU_SET_S(maxcpuid, cpusetsize, set); in ATF_TC_BODY()[all …]