5
static void ipi_test(void *data)
9
printf("ipi called, cpu %d\n", n);
11
printf("but wrong cpu %d\n", smp_id());
14
static void smp_main(void)
16
printf("smp main %d\n", smp_id());
18
asm volatile ("hlt" : : : "memory");
28
printf("found %d cpus\n", ncpus);
29
for (i = 0; i < ncpus; ++i)
30
on_cpu(i, ipi_test, (void *)(long)i);