| .. | .. |
|---|
| 32 | 32 | #include <asm/mce.h> |
|---|
| 33 | 33 | #include <asm/trace/irq_vectors.h> |
|---|
| 34 | 34 | #include <asm/kexec.h> |
|---|
| 35 | | -#include <asm/virtext.h> |
|---|
| 35 | +#include <asm/reboot.h> |
|---|
| 36 | 36 | |
|---|
| 37 | 37 | /* |
|---|
| 38 | 38 | * Some notes on x86 processor bugs affecting SMP operation: |
|---|
| .. | .. |
|---|
| 122 | 122 | if (raw_smp_processor_id() == atomic_read(&stopping_cpu)) |
|---|
| 123 | 123 | return NMI_HANDLED; |
|---|
| 124 | 124 | |
|---|
| 125 | | - cpu_emergency_vmxoff(); |
|---|
| 125 | + cpu_emergency_disable_virtualization(); |
|---|
| 126 | 126 | stop_this_cpu(NULL); |
|---|
| 127 | 127 | |
|---|
| 128 | 128 | return NMI_HANDLED; |
|---|
| .. | .. |
|---|
| 134 | 134 | DEFINE_IDTENTRY_SYSVEC(sysvec_reboot) |
|---|
| 135 | 135 | { |
|---|
| 136 | 136 | ack_APIC_irq(); |
|---|
| 137 | | - cpu_emergency_vmxoff(); |
|---|
| 137 | + cpu_emergency_disable_virtualization(); |
|---|
| 138 | 138 | stop_this_cpu(NULL); |
|---|
| 139 | 139 | } |
|---|
| 140 | 140 | |
|---|