Searched refs:lapic_id (Results 1 – 3 of 3) sorted by relevance
464 PCPU_SET(apic_id, lapic_id()); in lapic_init()712 la = &lapics[lapic_id()]; in lapic_setup()748 lapic_id())); in lapic_setup()829 la = &lapics[lapic_id()]; in lapic_update_pcint()847 la = &lapics[lapic_id()]; in lapic_calibrate_timer()1072 lapic_id(void) in lapic_id() function1760 db_printf("lapic ID = %d\n", lapic_id()); in DB_SHOW_COMMAND_FLAGS()
1077 if (PCPU_GET(apic_id) != lapic_id()) { in init_secondary_tail()1079 printf("SMP: actual apic_id = %d\n", lapic_id()); in init_secondary_tail()
223 int lapic_id(void);