static void
cpu_ipi_error(const char *s, __cpuset_t succeeded, __cpuset_t expected)
{
CPUSET_SUB(expected, succeeded);
if (!CPUSET_EMPTY_P(expected)) {
printf("Failed to %s:", s);
do {
int index = CPUSET_NEXT(expected);
CPUSET_DEL(expected, index);
printf(" cpu%d", index);
} while (!CPUSET_EMPTY_P(expected));
printf("\n");
}
}
/*
* Print an error message.
*/
void
sparc64_ipi_error(const char *s, sparc64_cpuset_t cpus_succeeded,
sparc64_cpuset_t cpus_expected)
{
int cpuid;
CPUSET_DEL(cpus_expected, cpus_succeeded);
if (!CPUSET_EMPTY(cpus_expected)) {
printf("Failed to %s:", s);
do {
cpuid = CPUSET_NEXT(cpus_expected);
CPUSET_DEL(cpus_expected, cpuid);
printf(" cpu%d", cpuid);
} while(!CPUSET_EMPTY(cpus_expected));
}
printf("\n");
}
