|
Lines 128-133
__FBSDID("$FreeBSD$");
Link Here
|
| 128 |
#include <machine/_inttypes.h> |
128 |
#include <machine/_inttypes.h> |
| 129 |
#include <machine/intr_machdep.h> |
129 |
#include <machine/intr_machdep.h> |
| 130 |
#include <machine/apicvar.h> |
130 |
#include <machine/apicvar.h> |
|
|
131 |
#include <machine/cpu.h> |
| 131 |
|
132 |
|
| 132 |
#include <vm/vm.h> |
133 |
#include <vm/vm.h> |
| 133 |
#include <vm/vm_extern.h> |
134 |
#include <vm/vm_extern.h> |
|
Lines 404-417
xctrl_suspend()
Link Here
|
| 404 |
gnttab_resume(); |
405 |
gnttab_resume(); |
| 405 |
|
406 |
|
| 406 |
#ifdef SMP |
407 |
#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)) { |
408 |
if (smp_started && !CPU_EMPTY(&cpu_suspend_map)) { |
| 410 |
/* |
409 |
/* |
| 411 |
* Now that event channels have been initialized, |
410 |
* Now that event channels have been initialized, |
| 412 |
* resume CPUs. |
411 |
* resume CPUs. |
| 413 |
*/ |
412 |
*/ |
| 414 |
resume_cpus(cpu_suspend_map); |
413 |
resume_cpus(cpu_suspend_map); |
|
|
414 |
/* Send an IPI_BITMAP in case there are pending bitmap IPIs. */ |
| 415 |
cpu_ops.ipi_vectored(IPI_BITMAP_VECTOR, APIC_IPI_DEST_ALL); |
| 415 |
} |
416 |
} |
| 416 |
#endif |
417 |
#endif |
| 417 |
|
418 |
|