35 |
|
|
36 |
|
|
37 |
|
|
38 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(reboot) |
|
void |
|
|
grub_reboot_init (void) |
|
|
{ |
|
|
grub_register_command ("reboot", grub_cmd_reboot, GRUB_COMMAND_FLAG_BOTH, |
|
|
"reboot", "Reboot the computer.", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_reboot_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("reboot"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
39 |
{ |
{ |
40 |
(void)mod; /* To stop warning. */ |
(void)mod; /* To stop warning. */ |
41 |
grub_register_command ("reboot", grub_cmd_reboot, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("reboot", grub_cmd_reboot, GRUB_COMMAND_FLAG_BOTH, |
42 |
"reboot", "Reboot the computer", 0); |
"reboot", "Reboot the computer", 0); |
43 |
} |
} |
44 |
|
|
45 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(reboot) |
46 |
{ |
{ |
47 |
grub_unregister_command ("reboot"); |
grub_unregister_command ("reboot"); |
48 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|