NAPICID
if (next_apicid == NAPICID) {
#ifndef NAPICID
next_apicid < NAPICID);
u_int cpu_id_to_acpi_id[NAPICID];
for (i = 0; i < NAPICID; ++i)
if (apic_id == NAPICID) {
if (apic_id == NAPICID) {
return NAPICID;
for (i = 0; i < NAPICID; ++i)
int cpu_id_to_apic_id[NAPICID];
int apic_id_to_cpu_id[NAPICID];