lapic_id
int lapic_id(void);
la = &lapics[lapic_id()];
db_printf("lapic ID = %d\n", lapic_id());
PCPU_SET(apic_id, lapic_id());
la = &lapics[lapic_id()];
lapic_id()));
la = &lapics[lapic_id()];
if (PCPU_GET(apic_id) != lapic_id()) {
printf("SMP: actual apic_id = %d\n", lapic_id());