Searched refs:apic_sipi (Results 1 – 3 of 3) sorted by relevance
17 void apic_sipi(DeviceState *s);
619 apic_sipi(cpu->apic_state); in do_cpu_sipi()
645 void apic_sipi(DeviceState *dev) in apic_sipi() function