.. | .. |
---|
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 | |
---|