Searched refs:BS_SIPI (Results 1 – 2 of 2) sorted by relevance
130 BS_SIPI, enumerator
1035 vlapic2->boot_state = BS_SIPI; in vlapic_icrlo_write_handler()1049 if (vlapic2->boot_state != BS_SIPI) in vlapic_icrlo_write_handler()