mptable_probe_cpus_handler
static void mptable_probe_cpus_handler(u_char *entry, void *arg __unused);
mptable_walk_table(mptable_probe_cpus_handler, &cpu_mask);