| 1 | |
| 2 | |
| 3 |
|
| 4 | #include <linux/reboot.h>
|
| 5 |
|
| 6 | void (*pm_power_off)(void);
|
| 7 | EXPORT_SYMBOL(pm_power_off);
|
| 8 |
|
| 9 | void machine_power_off(void)
|
| 10 | {
|
| 11 | local_irq_disable();
|
| 12 | do_kernel_power_off();
|
| 13 | asm volatile ("bkpt");
|
| 14 | }
|
| 15 |
|
| 16 | void machine_halt(void)
|
| 17 | {
|
| 18 | local_irq_disable();
|
| 19 | do_kernel_power_off();
|
| 20 | asm volatile ("bkpt");
|
| 21 | }
|
| 22 |
|
| 23 | void machine_restart(char *cmd)
|
| 24 | {
|
| 25 | local_irq_disable();
|
| 26 | do_kernel_restart(cmd);
|
| 27 | asm volatile ("bkpt");
|
| 28 | }
|