Searched refs:lapic_id (Results 1 – 3 of 3) sorted by relevance
589 PCPU_SET(apic_id, lapic_id()); in lapic_init()866 la = &lapics[lapic_id()]; in lapic_setup()902 lapic_id())); in lapic_setup()990 la = &lapics[lapic_id()]; in lapic_update_pcint()1013 la = &lapics[lapic_id()]; in lapic_calibrate_timer()1242 lapic_id(void) in lapic_id() function1922 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()
225 int lapic_id(void);