Searched refs:init_sipi (Results 1 – 2 of 2) sorted by relevance
318 uint32_t icr = vcpu_vlapic(origin)->init_sipi.icr; in vlapic_init_sipi_action()319 uint32_t dest = vcpu_vlapic(origin)->init_sipi.dest; in vlapic_init_sipi_action()334 vcpu_vlapic(origin)->init_sipi.icr = 0; in vlapic_init_sipi_action()510 if ( vlapic->init_sipi.icr != 0 ) in vlapic_ipi()516 vlapic->init_sipi.icr = icr_low; in vlapic_ipi()517 vlapic->init_sipi.dest = dest; in vlapic_ipi()518 tasklet_schedule(&vlapic->init_sipi.tasklet); in vlapic_ipi()1644 tasklet_init(&vlapic->init_sipi.tasklet, vlapic_init_sipi_action, v); in vlapic_init()1659 tasklet_kill(&vlapic->init_sipi.tasklet); in vlapic_destroy()
91 } init_sipi; member
Completed in 6 milliseconds