Searched refs:init_sipi (Results 1 – 2 of 2) sorted by relevance
319 uint32_t icr = vcpu_vlapic(origin)->init_sipi.icr; in vlapic_init_sipi_action()320 uint32_t dest = vcpu_vlapic(origin)->init_sipi.dest; in vlapic_init_sipi_action()335 vcpu_vlapic(origin)->init_sipi.icr = 0; in vlapic_init_sipi_action()478 if ( vlapic->init_sipi.icr != 0 ) in vlapic_ipi()484 vlapic->init_sipi.icr = icr_low; in vlapic_ipi()485 vlapic->init_sipi.dest = dest; in vlapic_ipi()486 tasklet_schedule(&vlapic->init_sipi.tasklet); in vlapic_ipi()1588 tasklet_init(&vlapic->init_sipi.tasklet, in vlapic_init()1605 tasklet_kill(&vlapic->init_sipi.tasklet); in vlapic_destroy()
93 } init_sipi; member
Completed in 5 milliseconds