sched_getcpu
int sched_getcpu(void);
DEFINE_UIFUNC(, int, sched_getcpu, (void))
ATF_REQUIRE_EQ(cpu, sched_getcpu());
ATF_REQUIRE_EQ(maxcpuid, (uint32_t)sched_getcpu());