Searched defs:apic_send_ipi (Results 1 - 1 of 1) sorted by relevance

/fuchsia/zircon/kernel/arch/x86/
H A Dmp.cpp385 DEBUG_ASSERT(dst_apic_id < UINT8_MAX); apic_send_ipi(0, (uint8_t)dst_apic_id, DELIVERY_MODE_INIT); return ZX_OK; } zx_status_t arch_mp_cpu_hotplug(uint cpu_id) { if (cpu_id >= x86_num_cpus) argument

Completed in 62 milliseconds