blob: d398f317f5e04f8ff05b4ca9ecd508dd9eafad17 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001#include <linux/module.h>
Adrian Bunkcd6ed522006-12-06 20:40:06 -08002#include <linux/reboot.h>
Miguel Boton4d022e32008-01-30 13:32:51 +01003#include <linux/init.h>
4#include <linux/pm.h>
5#include <linux/efi.h>
Paul Mackerras6c6c51e2009-08-03 22:47:32 +10006#include <linux/dmi.h>
Alexey Dobriyand43c36d2009-10-07 17:09:06 +04007#include <linux/sched.h>
Shane Wang69575d32009-09-01 18:25:07 -07008#include <linux/tboot.h>
Jean Delvareca444562011-03-25 15:20:14 +01009#include <linux/delay.h>
Miguel Boton4d022e32008-01-30 13:32:51 +010010#include <acpi/reboot.h>
11#include <asm/io.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070012#include <asm/apic.h>
Zachary Amsden4d37e7e2005-09-03 15:56:38 -070013#include <asm/desc.h>
Miguel Boton4d022e32008-01-30 13:32:51 +010014#include <asm/hpet.h>
Jeremy Fitzhardinge68db0652008-03-17 16:37:13 -070015#include <asm/pgtable.h>
Dmitri Vorobiev44126202008-04-28 03:15:59 +040016#include <asm/proto.h>
Jeremy Fitzhardinge973efae2007-05-02 19:27:06 +020017#include <asm/reboot_fixups.h>
Jeremy Fitzhardinge07f33312007-05-02 19:27:11 +020018#include <asm/reboot.h>
Jaswinder Singh Rajput82487712008-12-27 18:32:28 +053019#include <asm/pci_x86.h>
Eduardo Habkostd1767202008-11-17 19:03:24 -020020#include <asm/virtext.h>
Jaswinder Singh Rajput96b89dc2009-01-07 21:35:48 +053021#include <asm/cpu.h>
Don Zickusc410b832011-01-06 16:18:50 -050022#include <asm/nmi.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023
Miguel Boton4d022e32008-01-30 13:32:51 +010024#ifdef CONFIG_X86_32
Miguel Boton4d022e32008-01-30 13:32:51 +010025# include <linux/ctype.h>
26# include <linux/mc146818rtc.h>
Miguel Boton4d022e32008-01-30 13:32:51 +010027#else
FUJITA Tomonori338bac52009-10-27 16:34:44 +090028# include <asm/x86_init.h>
Miguel Boton4d022e32008-01-30 13:32:51 +010029#endif
30
Linus Torvalds1da177e2005-04-16 15:20:36 -070031/*
32 * Power off function, if any
33 */
34void (*pm_power_off)(void);
Alexey Dobriyan129f6942005-06-23 00:08:33 -070035EXPORT_SYMBOL(pm_power_off);
Linus Torvalds1da177e2005-04-16 15:20:36 -070036
Jan Beulichebdd5612008-05-12 15:43:38 +020037static const struct desc_ptr no_idt = {};
Linus Torvalds1da177e2005-04-16 15:20:36 -070038static int reboot_mode;
Matthew Garrett660e34c2011-04-04 13:55:05 -040039enum reboot_type reboot_type = BOOT_ACPI;
Miguel Boton4d022e32008-01-30 13:32:51 +010040int reboot_force;
Linus Torvalds1da177e2005-04-16 15:20:36 -070041
Michael D Labriola59556332012-01-29 14:17:22 -050042/* This variable is used privately to keep track of whether or not
43 * reboot_type is still set to its default value (i.e., reboot= hasn't
44 * been set on the command line). This is needed so that we can
45 * suppress DMI scanning for reboot quirks. Without it, it's
46 * impossible to override a faulty reboot quirk without recompiling.
47 */
48static int reboot_default = 1;
49
Miguel Boton4d022e32008-01-30 13:32:51 +010050#if defined(CONFIG_X86_32) && defined(CONFIG_SMP)
Linus Torvalds1da177e2005-04-16 15:20:36 -070051static int reboot_cpu = -1;
Linus Torvalds1da177e2005-04-16 15:20:36 -070052#endif
Miguel Boton4d022e32008-01-30 13:32:51 +010053
Eduardo Habkostd1767202008-11-17 19:03:24 -020054/* This is set if we need to go through the 'emergency' path.
55 * When machine_emergency_restart() is called, we may be on
56 * an inconsistent state and won't be able to do a clean cleanup
57 */
58static int reboot_emergency;
59
H. Peter Anvin14d7ca52008-11-11 16:19:48 -080060/* This is set by the PCI code if either type 1 or type 2 PCI is detected */
61bool port_cf9_safe = false;
62
63/* reboot=b[ios] | s[mp] | t[riple] | k[bd] | e[fi] [, [w]arm | [c]old] | p[ci]
Miguel Boton4d022e32008-01-30 13:32:51 +010064 warm Don't set the cold reboot flag
65 cold Set the cold reboot flag
66 bios Reboot by jumping through the BIOS (only for X86_32)
67 smp Reboot by executing reset on BSP or other CPU (only for X86_32)
68 triple Force a triple fault (init)
69 kbd Use the keyboard controller. cold reset (default)
70 acpi Use the RESET_REG in the FADT
71 efi Use efi reset_system runtime service
H. Peter Anvin14d7ca52008-11-11 16:19:48 -080072 pci Use the so-called "PCI reset register", CF9
Miguel Boton4d022e32008-01-30 13:32:51 +010073 force Avoid anything that could hang.
74 */
Linus Torvalds1da177e2005-04-16 15:20:36 -070075static int __init reboot_setup(char *str)
76{
Miguel Boton4d022e32008-01-30 13:32:51 +010077 for (;;) {
Michael D Labriola59556332012-01-29 14:17:22 -050078 /* Having anything passed on the command line via
79 * reboot= will cause us to disable DMI checking
80 * below.
81 */
82 reboot_default = 0;
83
Linus Torvalds1da177e2005-04-16 15:20:36 -070084 switch (*str) {
Miguel Boton4d022e32008-01-30 13:32:51 +010085 case 'w':
Linus Torvalds1da177e2005-04-16 15:20:36 -070086 reboot_mode = 0x1234;
87 break;
Miguel Boton4d022e32008-01-30 13:32:51 +010088
89 case 'c':
90 reboot_mode = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070091 break;
Miguel Boton4d022e32008-01-30 13:32:51 +010092
93#ifdef CONFIG_X86_32
Linus Torvalds1da177e2005-04-16 15:20:36 -070094#ifdef CONFIG_SMP
Miguel Boton4d022e32008-01-30 13:32:51 +010095 case 's':
Tobias Klauser6f673d82005-09-13 01:25:48 -070096 if (isdigit(*(str+1))) {
Linus Torvalds1da177e2005-04-16 15:20:36 -070097 reboot_cpu = (int) (*(str+1) - '0');
Tobias Klauser6f673d82005-09-13 01:25:48 -070098 if (isdigit(*(str+2)))
Linus Torvalds1da177e2005-04-16 15:20:36 -070099 reboot_cpu = reboot_cpu*10 + (int)(*(str+2) - '0');
100 }
Miguel Boton4d022e32008-01-30 13:32:51 +0100101 /* we will leave sorting out the final value
102 when we are ready to reboot, since we might not
Robert Richterf6e94562010-07-21 19:03:58 +0200103 have detected BSP APIC ID or smp_num_cpu */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104 break;
Miguel Boton4d022e32008-01-30 13:32:51 +0100105#endif /* CONFIG_SMP */
106
107 case 'b':
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108#endif
Miguel Boton4d022e32008-01-30 13:32:51 +0100109 case 'a':
110 case 'k':
111 case 't':
112 case 'e':
H. Peter Anvin14d7ca52008-11-11 16:19:48 -0800113 case 'p':
Miguel Boton4d022e32008-01-30 13:32:51 +0100114 reboot_type = *str;
115 break;
116
117 case 'f':
118 reboot_force = 1;
119 break;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120 }
Miguel Boton4d022e32008-01-30 13:32:51 +0100121
122 str = strchr(str, ',');
123 if (str)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124 str++;
125 else
126 break;
127 }
128 return 1;
129}
130
131__setup("reboot=", reboot_setup);
132
Miguel Boton4d022e32008-01-30 13:32:51 +0100133
134#ifdef CONFIG_X86_32
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135/*
136 * Reboot options and system auto-detection code provided by
137 * Dell Inc. so their systems "just work". :-)
138 */
139
140/*
Peter Chubb1ef03892011-12-05 16:53:53 +0300141 * Some machines require the "reboot=b" or "reboot=k" commandline options,
Miguel Boton4d022e32008-01-30 13:32:51 +0100142 * this quirk makes that automatic.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143 */
Jeff Garzik18552562007-10-03 15:15:40 -0400144static int __init set_bios_reboot(const struct dmi_system_id *d)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700145{
Miguel Boton4d022e32008-01-30 13:32:51 +0100146 if (reboot_type != BOOT_BIOS) {
147 reboot_type = BOOT_BIOS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700148 printk(KERN_INFO "%s series board detected. Selecting BIOS-method for reboots.\n", d->ident);
149 }
150 return 0;
151}
152
Peter Chubb1ef03892011-12-05 16:53:53 +0300153static int __init set_kbd_reboot(const struct dmi_system_id *d)
154{
155 if (reboot_type != BOOT_KBD) {
156 reboot_type = BOOT_KBD;
157 printk(KERN_INFO "%s series board detected. Selecting KBD-method for reboot.\n", d->ident);
158 }
159 return 0;
160}
161
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162static struct dmi_system_id __initdata reboot_dmi_table[] = {
Tim Gardnerb9e82af2007-06-01 00:46:40 -0700163 { /* Handle problems with rebooting on Dell E520's */
164 .callback = set_bios_reboot,
165 .ident = "Dell E520",
166 .matches = {
167 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
168 DMI_MATCH(DMI_PRODUCT_NAME, "Dell DM061"),
169 },
170 },
Linus Torvalds1da177e2005-04-16 15:20:36 -0700171 { /* Handle problems with rebooting on Dell 1300's */
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700172 .callback = set_bios_reboot,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700173 .ident = "Dell PowerEdge 1300",
174 .matches = {
175 DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
176 DMI_MATCH(DMI_PRODUCT_NAME, "PowerEdge 1300/"),
177 },
178 },
179 { /* Handle problems with rebooting on Dell 300's */
180 .callback = set_bios_reboot,
181 .ident = "Dell PowerEdge 300",
182 .matches = {
183 DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
184 DMI_MATCH(DMI_PRODUCT_NAME, "PowerEdge 300/"),
185 },
186 },
James Jarvisdf2edcf2007-07-21 17:11:11 +0200187 { /* Handle problems with rebooting on Dell Optiplex 745's SFF*/
188 .callback = set_bios_reboot,
189 .ident = "Dell OptiPlex 745",
190 .matches = {
191 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
192 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 745"),
James Jarvisdf2edcf2007-07-21 17:11:11 +0200193 },
194 },
Coleman Kanefc115bf2008-03-04 15:05:41 -0800195 { /* Handle problems with rebooting on Dell Optiplex 745's DFF*/
196 .callback = set_bios_reboot,
197 .ident = "Dell OptiPlex 745",
198 .matches = {
199 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
200 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 745"),
201 DMI_MATCH(DMI_BOARD_NAME, "0MM599"),
202 },
203 },
Heinz-Ado Arnoldsfc1c8922008-03-12 16:27:56 +0100204 { /* Handle problems with rebooting on Dell Optiplex 745 with 0KW626 */
205 .callback = set_bios_reboot,
206 .ident = "Dell OptiPlex 745",
207 .matches = {
208 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
209 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 745"),
210 DMI_MATCH(DMI_BOARD_NAME, "0KW626"),
211 },
212 },
Steve Conklin093bac12008-11-14 00:55:51 -0600213 { /* Handle problems with rebooting on Dell Optiplex 330 with 0KP561 */
214 .callback = set_bios_reboot,
215 .ident = "Dell OptiPlex 330",
216 .matches = {
217 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
218 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 330"),
219 DMI_MATCH(DMI_BOARD_NAME, "0KP561"),
220 },
221 },
Jean Delvare4a4aca62009-06-05 12:02:38 +0200222 { /* Handle problems with rebooting on Dell Optiplex 360 with 0T656F */
223 .callback = set_bios_reboot,
224 .ident = "Dell OptiPlex 360",
225 .matches = {
226 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
227 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 360"),
228 DMI_MATCH(DMI_BOARD_NAME, "0T656F"),
229 },
230 },
Leann Ogasawara35ea63d2010-01-27 15:29:18 -0800231 { /* Handle problems with rebooting on Dell OptiPlex 760 with 0G919G*/
232 .callback = set_bios_reboot,
233 .ident = "Dell OptiPlex 760",
234 .matches = {
235 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
236 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 760"),
237 DMI_MATCH(DMI_BOARD_NAME, "0G919G"),
238 },
239 },
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240 { /* Handle problems with rebooting on Dell 2400's */
241 .callback = set_bios_reboot,
242 .ident = "Dell PowerEdge 2400",
243 .matches = {
244 DMI_MATCH(DMI_SYS_VENDOR, "Dell Computer Corporation"),
245 DMI_MATCH(DMI_PRODUCT_NAME, "PowerEdge 2400"),
246 },
247 },
Ingo Molnarfab3b582008-07-17 13:50:15 +0200248 { /* Handle problems with rebooting on Dell T5400's */
249 .callback = set_bios_reboot,
250 .ident = "Dell Precision T5400",
251 .matches = {
252 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
253 DMI_MATCH(DMI_PRODUCT_NAME, "Precision WorkStation T5400"),
254 },
255 },
Thomas Backlund890ffed2010-06-19 16:32:25 +0300256 { /* Handle problems with rebooting on Dell T7400's */
257 .callback = set_bios_reboot,
258 .ident = "Dell Precision T7400",
259 .matches = {
260 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
261 DMI_MATCH(DMI_PRODUCT_NAME, "Precision WorkStation T7400"),
262 },
263 },
Ben Collins766c3f92006-01-06 00:12:20 -0800264 { /* Handle problems with rebooting on HP laptops */
Thierry Vignaudd91b14c2005-11-29 19:34:35 -0800265 .callback = set_bios_reboot,
Ben Collins766c3f92006-01-06 00:12:20 -0800266 .ident = "HP Compaq Laptop",
Thierry Vignaudd91b14c2005-11-29 19:34:35 -0800267 .matches = {
268 DMI_MATCH(DMI_SYS_VENDOR, "Hewlett-Packard"),
Ben Collins766c3f92006-01-06 00:12:20 -0800269 DMI_MATCH(DMI_PRODUCT_NAME, "HP Compaq"),
Thierry Vignaudd91b14c2005-11-29 19:34:35 -0800270 },
271 },
Leann Ogasawaradd4124a2009-03-04 11:53:00 -0800272 { /* Handle problems with rebooting on Dell XPS710 */
273 .callback = set_bios_reboot,
274 .ident = "Dell XPS710",
275 .matches = {
276 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
277 DMI_MATCH(DMI_PRODUCT_NAME, "Dell XPS710"),
278 },
279 },
Alan Coxc5da9a22009-03-26 20:45:28 +0000280 { /* Handle problems with rebooting on Dell DXP061 */
281 .callback = set_bios_reboot,
282 .ident = "Dell DXP061",
283 .matches = {
284 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
285 DMI_MATCH(DMI_PRODUCT_NAME, "Dell DXP061"),
286 },
287 },
Zhang Rui88dff492009-05-22 11:35:50 +0800288 { /* Handle problems with rebooting on Sony VGN-Z540N */
289 .callback = set_bios_reboot,
290 .ident = "Sony VGN-Z540N",
291 .matches = {
292 DMI_MATCH(DMI_SYS_VENDOR, "Sony Corporation"),
293 DMI_MATCH(DMI_PRODUCT_NAME, "VGN-Z540N"),
294 },
295 },
Denis Turischev77f32df2009-07-20 18:48:17 +0300296 { /* Handle problems with rebooting on CompuLab SBC-FITPC2 */
297 .callback = set_bios_reboot,
298 .ident = "CompuLab SBC-FITPC2",
299 .matches = {
300 DMI_MATCH(DMI_SYS_VENDOR, "CompuLab"),
301 DMI_MATCH(DMI_PRODUCT_NAME, "SBC-FITPC2"),
302 },
303 },
Leann Ogasawara4832ddd2009-12-04 15:42:22 -0800304 { /* Handle problems with rebooting on ASUS P4S800 */
305 .callback = set_bios_reboot,
306 .ident = "ASUS P4S800",
307 .matches = {
308 DMI_MATCH(DMI_BOARD_VENDOR, "ASUSTeK Computer INC."),
309 DMI_MATCH(DMI_BOARD_NAME, "P4S800"),
310 },
311 },
Peter Chubbb49c78d2011-07-06 10:56:30 +1000312 { /* Handle reboot issue on Acer Aspire one */
Peter Chubb1ef03892011-12-05 16:53:53 +0300313 .callback = set_kbd_reboot,
Peter Chubbb49c78d2011-07-06 10:56:30 +1000314 .ident = "Acer Aspire One A110",
315 .matches = {
316 DMI_MATCH(DMI_SYS_VENDOR, "Acer"),
317 DMI_MATCH(DMI_PRODUCT_NAME, "AOA110"),
318 },
319 },
Linus Torvalds1da177e2005-04-16 15:20:36 -0700320 { }
321};
322
323static int __init reboot_init(void)
324{
Michael D Labriola59556332012-01-29 14:17:22 -0500325 /* Only do the DMI check if reboot_type hasn't been overridden
326 * on the command line
327 */
328 if (reboot_default) {
329 dmi_check_system(reboot_dmi_table);
330 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 return 0;
332}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700333core_initcall(reboot_init);
334
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800335extern const unsigned char machine_real_restart_asm[];
336extern const u64 machine_real_restart_gdt[3];
337
338void machine_real_restart(unsigned int type)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700339{
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800340 void *restart_va;
341 unsigned long restart_pa;
342 void (*restart_lowmem)(unsigned int);
343 u64 *lowmem_gdt;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700344
Linus Torvalds1da177e2005-04-16 15:20:36 -0700345 local_irq_disable();
346
347 /* Write zero to CMOS register number 0x0f, which the BIOS POST
348 routine will recognize as telling it to do a proper reboot. (Well
349 that's what this book in front of me says -- it may only apply to
350 the Phoenix BIOS though, it's not clear). At the same time,
351 disable NMIs by setting the top bit in the CMOS address register,
352 as we're about to do peculiar things to the CPU. I'm not sure if
353 `outb_p' is needed instead of just `outb'. Use it to be on the
354 safe side. (Yes, CMOS_WRITE does outb_p's. - Paul G.)
355 */
Hisashi Hifumi62dbc212007-05-02 19:27:18 +0200356 spin_lock(&rtc_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357 CMOS_WRITE(0x00, 0x8f);
Hisashi Hifumi62dbc212007-05-02 19:27:18 +0200358 spin_unlock(&rtc_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700359
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360 /*
Borislav Petkovb40827f2010-08-28 15:58:33 +0200361 * Switch back to the initial page table.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362 */
Borislav Petkovb40827f2010-08-28 15:58:33 +0200363 load_cr3(initial_page_table);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700364
365 /* Write 0x1234 to absolute memory location 0x472. The BIOS reads
366 this on booting to tell it to "Bypass memory test (also warm
367 boot)". This seems like a fairly standard thing that gets set by
368 REBOOT.COM programs, and the previous reset routine did this
369 too. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700370 *((unsigned short *)0x472) = reboot_mode;
371
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800372 /* Patch the GDT in the low memory trampoline */
373 lowmem_gdt = TRAMPOLINE_SYM(machine_real_restart_gdt);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800375 restart_va = TRAMPOLINE_SYM(machine_real_restart_asm);
376 restart_pa = virt_to_phys(restart_va);
377 restart_lowmem = (void (*)(unsigned int))restart_pa;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700378
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800379 /* GDT[0]: GDT self-pointer */
380 lowmem_gdt[0] =
381 (u64)(sizeof(machine_real_restart_gdt) - 1) +
382 ((u64)virt_to_phys(lowmem_gdt) << 16);
383 /* GDT[1]: 64K real mode code segment */
384 lowmem_gdt[1] =
385 GDT_ENTRY(0x009b, restart_pa, 0xffff);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700386
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800387 /* Jump to the identity-mapped low memory code */
388 restart_lowmem(type);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700389}
Alexey Dobriyan129f6942005-06-23 00:08:33 -0700390#ifdef CONFIG_APM_MODULE
391EXPORT_SYMBOL(machine_real_restart);
392#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700393
Miguel Boton4d022e32008-01-30 13:32:51 +0100394#endif /* CONFIG_X86_32 */
395
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000396/*
Ozan Çağlayan498cdbf2009-08-04 19:39:31 +0300397 * Some Apple MacBook and MacBookPro's needs reboot=p to be able to reboot
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000398 */
399static int __init set_pci_reboot(const struct dmi_system_id *d)
400{
401 if (reboot_type != BOOT_CF9) {
402 reboot_type = BOOT_CF9;
403 printk(KERN_INFO "%s series board detected. "
404 "Selecting PCI-method for reboots.\n", d->ident);
405 }
406 return 0;
407}
408
409static struct dmi_system_id __initdata pci_reboot_dmi_table[] = {
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900410 { /* Handle problems with rebooting on Apple MacBook5 */
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000411 .callback = set_pci_reboot,
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900412 .ident = "Apple MacBook5",
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000413 .matches = {
414 DMI_MATCH(DMI_SYS_VENDOR, "Apple Inc."),
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900415 DMI_MATCH(DMI_PRODUCT_NAME, "MacBook5"),
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000416 },
417 },
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900418 { /* Handle problems with rebooting on Apple MacBookPro5 */
Ozan Çağlayan498cdbf2009-08-04 19:39:31 +0300419 .callback = set_pci_reboot,
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900420 .ident = "Apple MacBookPro5",
Ozan Çağlayan498cdbf2009-08-04 19:39:31 +0300421 .matches = {
422 DMI_MATCH(DMI_SYS_VENDOR, "Apple Inc."),
Shunichi Fuji3e03bbe2009-08-11 03:34:40 +0900423 DMI_MATCH(DMI_PRODUCT_NAME, "MacBookPro5"),
Ozan Çağlayan498cdbf2009-08-04 19:39:31 +0300424 },
425 },
Gottfried Haider05154752009-11-02 11:51:11 +0100426 { /* Handle problems with rebooting on Apple Macmini3,1 */
427 .callback = set_pci_reboot,
428 .ident = "Apple Macmini3,1",
429 .matches = {
430 DMI_MATCH(DMI_SYS_VENDOR, "Apple Inc."),
431 DMI_MATCH(DMI_PRODUCT_NAME, "Macmini3,1"),
432 },
433 },
Justin P. Mattock0a832322010-02-16 15:17:29 -0800434 { /* Handle problems with rebooting on the iMac9,1. */
435 .callback = set_pci_reboot,
436 .ident = "Apple iMac9,1",
437 .matches = {
438 DMI_MATCH(DMI_SYS_VENDOR, "Apple Inc."),
439 DMI_MATCH(DMI_PRODUCT_NAME, "iMac9,1"),
440 },
441 },
Maxime Ripard3628c3f2011-06-28 15:57:31 +0200442 { /* Handle problems with rebooting on the Latitude E6320. */
443 .callback = set_pci_reboot,
444 .ident = "Dell Latitude E6320",
445 .matches = {
446 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
447 DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E6320"),
448 },
449 },
Daniel J Bluemanb7798d22011-05-13 09:04:59 +0800450 { /* Handle problems with rebooting on the Latitude E5420. */
451 .callback = set_pci_reboot,
452 .ident = "Dell Latitude E5420",
453 .matches = {
454 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
455 DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E5420"),
456 },
457 },
H. Peter Anvina5368772011-07-21 11:22:21 -0700458 { /* Handle problems with rebooting on the Latitude E6420. */
459 .callback = set_pci_reboot,
460 .ident = "Dell Latitude E6420",
461 .matches = {
462 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
463 DMI_MATCH(DMI_PRODUCT_NAME, "Latitude E6420"),
464 },
465 },
Rafael J. Wysocki6be30bb2011-11-16 00:19:51 +0100466 { /* Handle problems with rebooting on the OptiPlex 990. */
467 .callback = set_pci_reboot,
468 .ident = "Dell OptiPlex 990",
469 .matches = {
470 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
471 DMI_MATCH(DMI_PRODUCT_NAME, "OptiPlex 990"),
472 },
473 },
Zhang Ruib429b0c2012-02-20 14:20:06 +0800474 { /* Handle problems with rebooting on the Precision M6600. */
475 .callback = set_pci_reboot,
476 .ident = "Dell OptiPlex 990",
477 .matches = {
478 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
479 DMI_MATCH(DMI_PRODUCT_NAME, "Precision M6600"),
480 },
481 },
Masoud Sharbianid0878f42013-09-20 15:59:07 -0700482 { /* Handle problems with rebooting on the Dell PowerEdge C6100. */
483 .callback = set_pci_reboot,
484 .ident = "Dell PowerEdge C6100",
485 .matches = {
486 DMI_MATCH(DMI_SYS_VENDOR, "Dell Inc."),
487 DMI_MATCH(DMI_PRODUCT_NAME, "C6100"),
488 },
489 },
490 { /* Some C6100 machines were shipped with vendor being 'Dell'. */
491 .callback = set_pci_reboot,
492 .ident = "Dell PowerEdge C6100",
493 .matches = {
494 DMI_MATCH(DMI_SYS_VENDOR, "Dell"),
495 DMI_MATCH(DMI_PRODUCT_NAME, "C6100"),
496 },
497 },
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000498 { }
499};
500
501static int __init pci_reboot_init(void)
502{
Michael D Labriola59556332012-01-29 14:17:22 -0500503 /* Only do the DMI check if reboot_type hasn't been overridden
504 * on the command line
505 */
506 if (reboot_default) {
507 dmi_check_system(pci_reboot_dmi_table);
508 }
Paul Mackerras6c6c51e2009-08-03 22:47:32 +1000509 return 0;
510}
511core_initcall(pci_reboot_init);
512
Miguel Boton4d022e32008-01-30 13:32:51 +0100513static inline void kb_wait(void)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700514{
Miguel Boton4d022e32008-01-30 13:32:51 +0100515 int i;
516
Alan Coxc84d6af82008-01-30 13:33:25 +0100517 for (i = 0; i < 0x10000; i++) {
518 if ((inb(0x64) & 0x02) == 0)
Miguel Boton4d022e32008-01-30 13:32:51 +0100519 break;
Alan Coxc84d6af82008-01-30 13:33:25 +0100520 udelay(2);
521 }
Miguel Boton4d022e32008-01-30 13:32:51 +0100522}
523
Don Zickus9c48f1c2011-09-30 15:06:21 -0400524static void vmxoff_nmi(int cpu, struct pt_regs *regs)
Eduardo Habkostd1767202008-11-17 19:03:24 -0200525{
526 cpu_emergency_vmxoff();
527}
528
529/* Use NMIs as IPIs to tell all CPUs to disable virtualization
530 */
531static void emergency_vmx_disable_all(void)
532{
533 /* Just make sure we won't change CPUs while doing this */
534 local_irq_disable();
535
536 /* We need to disable VMX on all CPUs before rebooting, otherwise
537 * we risk hanging up the machine, because the CPU ignore INIT
538 * signals when VMX is enabled.
539 *
540 * We can't take any locks and we may be on an inconsistent
541 * state, so we use NMIs as IPIs to tell the other CPUs to disable
542 * VMX and halt.
543 *
544 * For safety, we will avoid running the nmi_shootdown_cpus()
545 * stuff unnecessarily, but we don't have a way to check
546 * if other CPUs have VMX enabled. So we will call it only if the
547 * CPU we are running on has VMX enabled.
548 *
549 * We will miss cases where VMX is not enabled on all CPUs. This
550 * shouldn't do much harm because KVM always enable VMX on all
551 * CPUs anyway. But we can miss it on the small window where KVM
552 * is still enabling VMX.
553 */
554 if (cpu_has_vmx() && cpu_vmx_enabled()) {
555 /* Disable VMX on this CPU.
556 */
557 cpu_vmxoff();
558
559 /* Halt and disable VMX on the other CPUs */
560 nmi_shootdown_cpus(vmxoff_nmi);
561
562 }
563}
564
565
Ingo Molnar7432d142008-03-06 18:29:43 +0100566void __attribute__((weak)) mach_reboot_fixups(void)
567{
568}
569
Matthew Garrett660e34c2011-04-04 13:55:05 -0400570/*
571 * Windows compatible x86 hardware expects the following on reboot:
572 *
573 * 1) If the FADT has the ACPI reboot register flag set, try it
574 * 2) If still alive, write to the keyboard controller
575 * 3) If still alive, write to the ACPI reboot register again
576 * 4) If still alive, write to the keyboard controller again
577 *
578 * If the machine is still alive at this stage, it gives up. We default to
579 * following the same pattern, except that if we're still alive after (4) we'll
580 * try to force a triple fault and then cycle between hitting the keyboard
581 * controller and doing that
582 */
Jody Belka416e2d62008-02-12 23:37:48 +0000583static void native_machine_emergency_restart(void)
Miguel Boton4d022e32008-01-30 13:32:51 +0100584{
585 int i;
Matthew Garrett660e34c2011-04-04 13:55:05 -0400586 int attempt = 0;
587 int orig_reboot_type = reboot_type;
Miguel Boton4d022e32008-01-30 13:32:51 +0100588
Eduardo Habkostd1767202008-11-17 19:03:24 -0200589 if (reboot_emergency)
590 emergency_vmx_disable_all();
591
Joseph Cihula840c2ba2009-06-30 19:31:02 -0700592 tboot_shutdown(TB_SHUTDOWN_REBOOT);
593
Miguel Boton4d022e32008-01-30 13:32:51 +0100594 /* Tell the BIOS if we want cold or warm reboot */
595 *((unsigned short *)__va(0x472)) = reboot_mode;
596
597 for (;;) {
598 /* Could also try the reset bit in the Hammer NB */
599 switch (reboot_type) {
600 case BOOT_KBD:
Ingo Molnar7432d142008-03-06 18:29:43 +0100601 mach_reboot_fixups(); /* for board specific fixups */
602
Miguel Boton4d022e32008-01-30 13:32:51 +0100603 for (i = 0; i < 10; i++) {
604 kb_wait();
605 udelay(50);
606 outb(0xfe, 0x64); /* pulse reset low */
607 udelay(50);
608 }
Matthew Garrett660e34c2011-04-04 13:55:05 -0400609 if (attempt == 0 && orig_reboot_type == BOOT_ACPI) {
610 attempt = 1;
611 reboot_type = BOOT_ACPI;
612 } else {
613 reboot_type = BOOT_TRIPLE;
614 }
615 break;
Miguel Boton4d022e32008-01-30 13:32:51 +0100616
617 case BOOT_TRIPLE:
Jan Beulichebdd5612008-05-12 15:43:38 +0200618 load_idt(&no_idt);
Miguel Boton4d022e32008-01-30 13:32:51 +0100619 __asm__ __volatile__("int3");
620
621 reboot_type = BOOT_KBD;
622 break;
623
624#ifdef CONFIG_X86_32
625 case BOOT_BIOS:
H. Peter Anvin3d35ac32011-02-14 18:36:03 -0800626 machine_real_restart(MRR_BIOS);
Miguel Boton4d022e32008-01-30 13:32:51 +0100627
628 reboot_type = BOOT_KBD;
629 break;
630#endif
631
632 case BOOT_ACPI:
633 acpi_reboot();
634 reboot_type = BOOT_KBD;
635 break;
636
Miguel Boton4d022e32008-01-30 13:32:51 +0100637 case BOOT_EFI:
Matt Fleming73923012012-11-14 09:42:35 +0000638 if (efi_enabled(EFI_RUNTIME_SERVICES))
H. Peter Anvin14d7ca52008-11-11 16:19:48 -0800639 efi.reset_system(reboot_mode ?
640 EFI_RESET_WARM :
641 EFI_RESET_COLD,
Miguel Boton4d022e32008-01-30 13:32:51 +0100642 EFI_SUCCESS, 0, NULL);
H. Peter Anvinb47b9282008-11-24 00:50:09 -0800643 reboot_type = BOOT_KBD;
H. Peter Anvin14d7ca52008-11-11 16:19:48 -0800644 break;
Miguel Boton4d022e32008-01-30 13:32:51 +0100645
H. Peter Anvin14d7ca52008-11-11 16:19:48 -0800646 case BOOT_CF9:
647 port_cf9_safe = true;
648 /* fall through */
649
650 case BOOT_CF9_COND:
651 if (port_cf9_safe) {
652 u8 cf9 = inb(0xcf9) & ~6;
653 outb(cf9|2, 0xcf9); /* Request hard reset */
654 udelay(50);
655 outb(cf9|6, 0xcf9); /* Actually do the reset */
656 udelay(50);
657 }
Miguel Boton4d022e32008-01-30 13:32:51 +0100658 reboot_type = BOOT_KBD;
659 break;
660 }
661 }
662}
663
Glauber Costa3c62c622008-03-17 16:08:39 -0300664void native_machine_shutdown(void)
Miguel Boton4d022e32008-01-30 13:32:51 +0100665{
666 /* Stop the cpus and apics */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700667#ifdef CONFIG_SMP
Linus Torvalds1da177e2005-04-16 15:20:36 -0700668
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700669 /* The boot cpu is always logical cpu 0 */
Mike Travis65c01182008-07-15 14:14:30 -0700670 int reboot_cpu_id = 0;
Fenghua Yu570a73e2013-10-23 18:30:12 -0700671#endif
672
673#ifdef CONFIG_X86_IO_APIC
674 disable_IO_APIC();
675#endif
676
677#ifdef CONFIG_SMP
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678
Miguel Boton4d022e32008-01-30 13:32:51 +0100679#ifdef CONFIG_X86_32
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700680 /* See if there has been given a command line override */
Mike Travis96289372008-12-31 18:08:46 -0800681 if ((reboot_cpu != -1) && (reboot_cpu < nr_cpu_ids) &&
Mike Travis0bc3cc02008-07-24 18:21:31 -0700682 cpu_online(reboot_cpu))
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700683 reboot_cpu_id = reboot_cpu;
Miguel Boton4d022e32008-01-30 13:32:51 +0100684#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700685
Miguel Boton4d022e32008-01-30 13:32:51 +0100686 /* Make certain the cpu I'm about to reboot on is online */
Mike Travis0bc3cc02008-07-24 18:21:31 -0700687 if (!cpu_online(reboot_cpu_id))
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700688 reboot_cpu_id = smp_processor_id();
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700689
690 /* Make certain I only run on the appropriate processor */
Mike Travis96289372008-12-31 18:08:46 -0800691 set_cpus_allowed_ptr(current, cpumask_of(reboot_cpu_id));
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700692
Miguel Boton4d022e32008-01-30 13:32:51 +0100693 /* O.K Now that I'm on the appropriate processor,
694 * stop all of the others.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700695 */
Alok Kataria76fac072010-10-11 14:37:08 -0700696 stop_other_cpus();
Miguel Boton4d022e32008-01-30 13:32:51 +0100697#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700698
699 lapic_shutdown();
700
OGAWA Hirofumic86c7fb2007-12-03 17:17:10 +0100701#ifdef CONFIG_HPET_TIMER
702 hpet_disable();
703#endif
Miguel Boton4d022e32008-01-30 13:32:51 +0100704
705#ifdef CONFIG_X86_64
FUJITA Tomonori338bac52009-10-27 16:34:44 +0900706 x86_platform.iommu_shutdown();
Miguel Boton4d022e32008-01-30 13:32:51 +0100707#endif
Eric W. Biedermandd2a1302005-06-25 14:57:55 -0700708}
709
Eduardo Habkostd1767202008-11-17 19:03:24 -0200710static void __machine_emergency_restart(int emergency)
711{
712 reboot_emergency = emergency;
713 machine_ops.emergency_restart();
714}
715
Jody Belka416e2d62008-02-12 23:37:48 +0000716static void native_machine_restart(char *__unused)
Jeremy Fitzhardinge973efae2007-05-02 19:27:06 +0200717{
Miguel Boton4d022e32008-01-30 13:32:51 +0100718 printk("machine restart\n");
Jeremy Fitzhardinge973efae2007-05-02 19:27:06 +0200719
Miguel Boton4d022e32008-01-30 13:32:51 +0100720 if (!reboot_force)
Eric W. Biederman6e3fbee2006-01-11 22:43:12 +0100721 machine_shutdown();
Eduardo Habkostd1767202008-11-17 19:03:24 -0200722 __machine_emergency_restart(0);
Jeremy Fitzhardinge07f33312007-05-02 19:27:11 +0200723}
724
Jody Belka416e2d62008-02-12 23:37:48 +0000725static void native_machine_halt(void)
Jeremy Fitzhardinge07f33312007-05-02 19:27:11 +0200726{
Ivan Vecerad3ec5ca2008-11-11 14:33:44 +0100727 /* stop other cpus and apics */
728 machine_shutdown();
729
Joseph Cihula840c2ba2009-06-30 19:31:02 -0700730 tboot_shutdown(TB_SHUTDOWN_HALT);
731
Ivan Vecerad3ec5ca2008-11-11 14:33:44 +0100732 /* stop this cpu */
733 stop_this_cpu(NULL);
Jeremy Fitzhardinge07f33312007-05-02 19:27:11 +0200734}
Miguel Boton4d022e32008-01-30 13:32:51 +0100735
Jody Belka416e2d62008-02-12 23:37:48 +0000736static void native_machine_power_off(void)
Miguel Boton4d022e32008-01-30 13:32:51 +0100737{
738 if (pm_power_off) {
739 if (!reboot_force)
740 machine_shutdown();
741 pm_power_off();
742 }
Joseph Cihula840c2ba2009-06-30 19:31:02 -0700743 /* a fallback in case there is no PM info available */
744 tboot_shutdown(TB_SHUTDOWN_HALT);
Miguel Boton4d022e32008-01-30 13:32:51 +0100745}
746
747struct machine_ops machine_ops = {
Jody Belka416e2d62008-02-12 23:37:48 +0000748 .power_off = native_machine_power_off,
749 .shutdown = native_machine_shutdown,
750 .emergency_restart = native_machine_emergency_restart,
751 .restart = native_machine_restart,
Glauber Costaed23dc62008-03-17 16:08:38 -0300752 .halt = native_machine_halt,
753#ifdef CONFIG_KEXEC
754 .crash_shutdown = native_machine_crash_shutdown,
755#endif
Miguel Boton4d022e32008-01-30 13:32:51 +0100756};
Jody Belka416e2d62008-02-12 23:37:48 +0000757
758void machine_power_off(void)
759{
760 machine_ops.power_off();
761}
762
763void machine_shutdown(void)
764{
765 machine_ops.shutdown();
766}
767
768void machine_emergency_restart(void)
769{
Eduardo Habkostd1767202008-11-17 19:03:24 -0200770 __machine_emergency_restart(1);
Jody Belka416e2d62008-02-12 23:37:48 +0000771}
772
773void machine_restart(char *cmd)
774{
775 machine_ops.restart(cmd);
776}
777
778void machine_halt(void)
779{
780 machine_ops.halt();
781}
782
Glauber Costaed23dc62008-03-17 16:08:38 -0300783#ifdef CONFIG_KEXEC
784void machine_crash_shutdown(struct pt_regs *regs)
785{
786 machine_ops.crash_shutdown(regs);
787}
788#endif
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200789
790
Eduardo Habkostbb8dd272008-11-12 11:34:43 -0200791#if defined(CONFIG_SMP)
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200792
793/* This keeps a track of which one is crashing cpu. */
794static int crashing_cpu;
795static nmi_shootdown_cb shootdown_callback;
796
797static atomic_t waiting_for_crash_ipi;
798
Don Zickus9c48f1c2011-09-30 15:06:21 -0400799static int crash_nmi_callback(unsigned int val, struct pt_regs *regs)
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200800{
801 int cpu;
802
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200803 cpu = raw_smp_processor_id();
804
805 /* Don't do anything if this handler is invoked on crashing cpu.
806 * Otherwise, system will completely hang. Crashing cpu can get
807 * an NMI if system was initially booted with nmi_watchdog parameter.
808 */
809 if (cpu == crashing_cpu)
Don Zickus9c48f1c2011-09-30 15:06:21 -0400810 return NMI_HANDLED;
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200811 local_irq_disable();
812
Don Zickus9c48f1c2011-09-30 15:06:21 -0400813 shootdown_callback(cpu, regs);
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200814
815 atomic_dec(&waiting_for_crash_ipi);
816 /* Assume hlt works */
817 halt();
818 for (;;)
819 cpu_relax();
820
Don Zickus9c48f1c2011-09-30 15:06:21 -0400821 return NMI_HANDLED;
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200822}
823
824static void smp_send_nmi_allbutself(void)
825{
Ingo Molnardac5f412009-01-28 15:42:24 +0100826 apic->send_IPI_allbutself(NMI_VECTOR);
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200827}
828
Eduardo Habkostbb8dd272008-11-12 11:34:43 -0200829/* Halt all other CPUs, calling the specified function on each of them
830 *
831 * This function can be used to halt all other CPUs on crash
832 * or emergency reboot time. The function passed as parameter
833 * will be called inside a NMI handler on all CPUs.
834 */
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200835void nmi_shootdown_cpus(nmi_shootdown_cb callback)
836{
837 unsigned long msecs;
Eduardo Habkostc415b3d2008-11-12 11:34:44 -0200838 local_irq_disable();
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200839
840 /* Make a note of crashing cpu. Will be used in NMI callback.*/
841 crashing_cpu = safe_smp_processor_id();
842
843 shootdown_callback = callback;
844
845 atomic_set(&waiting_for_crash_ipi, num_online_cpus() - 1);
846 /* Would it be better to replace the trap vector here? */
Don Zickus9c48f1c2011-09-30 15:06:21 -0400847 if (register_nmi_handler(NMI_LOCAL, crash_nmi_callback,
848 NMI_FLAG_FIRST, "crash"))
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200849 return; /* return what? */
850 /* Ensure the new callback function is set before sending
851 * out the NMI
852 */
853 wmb();
854
855 smp_send_nmi_allbutself();
856
857 msecs = 1000; /* Wait at most a second for the other cpus to stop */
858 while ((atomic_read(&waiting_for_crash_ipi) > 0) && msecs) {
859 mdelay(1);
860 msecs--;
861 }
862
863 /* Leave the nmi callback set */
864}
Eduardo Habkostbb8dd272008-11-12 11:34:43 -0200865#else /* !CONFIG_SMP */
866void nmi_shootdown_cpus(nmi_shootdown_cb callback)
867{
868 /* No other CPUs to shoot down */
869}
Eduardo Habkost2ddded22008-11-12 11:34:42 -0200870#endif