|
Lines 404-411
xctrl_suspend()
Link Here
|
| 404 |
gnttab_resume(); |
404 |
gnttab_resume(); |
| 405 |
|
405 |
|
| 406 |
#ifdef SMP |
406 |
#ifdef SMP |
| 407 |
/* Send an IPI_BITMAP in case there are pending bitmap IPIs. */ |
|
|
| 408 |
lapic_ipi_vectored(IPI_BITMAP_VECTOR, APIC_IPI_DEST_ALL); |
| 409 |
if (smp_started && !CPU_EMPTY(&cpu_suspend_map)) { |
407 |
if (smp_started && !CPU_EMPTY(&cpu_suspend_map)) { |
| 410 |
/* |
408 |
/* |
| 411 |
* Now that event channels have been initialized, |
409 |
* Now that event channels have been initialized, |
|
Lines 413-418
xctrl_suspend()
Link Here
|
| 413 |
*/ |
411 |
*/ |
| 414 |
resume_cpus(cpu_suspend_map); |
412 |
resume_cpus(cpu_suspend_map); |
| 415 |
} |
413 |
} |
|
|
414 |
/* Send an IPI_BITMAP in case there are pending bitmap IPIs. */ |
| 415 |
lapic_ipi_vectored(IPI_BITMAP_VECTOR, APIC_IPI_DEST_ALL); |
| 416 |
#endif |
416 |
#endif |
| 417 |
|
417 |
|
| 418 |
/* |
418 |
/* |