Searched refs:startup_vector (Results 1 – 2 of 2) sorted by relevance
21 void lapic_send_startup_ipi(uint32_t apic_id, uint32_t startup_vector);
367 void lapic_send_startup_ipi(uint32_t apic_id, uint32_t startup_vector) { in lapic_send_startup_ipi() argument373 lapic_write_icr((6u << 8) | (startup_vector >> 12), apic_id); in lapic_send_startup_ipi()
Completed in 4 milliseconds