Searched refs:wait_for_sipi (Results 1 – 1 of 1) sorted by relevance
89 int wait_for_sipi; member482 s->wait_for_sipi = 1; in apic_init_reset()499 if (!s->wait_for_sipi) in apic_sipi()506 s->wait_for_sipi = 0; in apic_sipi()