Searched refs:vlapic2 (Results 1 – 1 of 1) sorted by relevance
960 struct vlapic *vlapic2; in vlapic_icrlo_write_handler() local1031 vlapic2 = vm_lapic(vlapic->vm, dest); in vlapic_icrlo_write_handler()1034 if (vlapic2->boot_state == BS_INIT) { in vlapic_icrlo_write_handler()1035 vlapic2->boot_state = BS_SIPI; in vlapic_icrlo_write_handler()1044 vlapic2 = vm_lapic(vlapic->vm, dest); in vlapic_icrlo_write_handler()1049 if (vlapic2->boot_state != BS_SIPI) in vlapic_icrlo_write_handler()1052 vlapic2->boot_state = BS_RUNNING; in vlapic_icrlo_write_handler()