28 |
int argc __attribute__ ((unused)), |
int argc __attribute__ ((unused)), |
29 |
char **args __attribute__ ((unused))) |
char **args __attribute__ ((unused))) |
30 |
{ |
{ |
31 |
grub_ieee1275_interpret ("reset-all", 0); |
grub_reboot (); |
32 |
return 0; |
return 0; |
33 |
} |
} |
34 |
|
|
35 |
|
|
36 |
|
#ifdef GRUB_UTIL |
37 |
|
void |
38 |
|
grub_reboot_init (void) |
39 |
|
{ |
40 |
|
grub_register_command ("reboot", grub_cmd_reboot, GRUB_COMMAND_FLAG_BOTH, |
41 |
|
"reboot", "Reboot the computer", 0); |
42 |
|
} |
43 |
|
|
44 |
|
void |
45 |
|
grub_reboot_fini (void) |
46 |
|
{ |
47 |
|
grub_unregister_command ("reboot"); |
48 |
|
} |
49 |
|
#else /* ! GRUB_UTIL */ |
50 |
GRUB_MOD_INIT |
GRUB_MOD_INIT |
51 |
{ |
{ |
52 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
58 |
{ |
{ |
59 |
grub_unregister_command ("reboot"); |
grub_unregister_command ("reboot"); |
60 |
} |
} |
61 |
|
#endif |