38 |
|
|
39 |
|
|
40 |
|
|
41 |
#ifdef GRUB_UTIL |
GRUB_MOD_INIT(boot) |
|
void |
|
|
grub_boot_init (void) |
|
|
{ |
|
|
grub_register_command ("boot", grub_cmd_boot, GRUB_COMMAND_FLAG_BOTH, |
|
|
"boot", "Boot an operating system.", 0); |
|
|
} |
|
|
|
|
|
void |
|
|
grub_boot_fini (void) |
|
|
{ |
|
|
grub_unregister_command ("boot"); |
|
|
} |
|
|
#else /* ! GRUB_UTIL */ |
|
|
GRUB_MOD_INIT |
|
42 |
{ |
{ |
43 |
(void) mod; /* To stop warning. */ |
(void) mod; /* To stop warning. */ |
44 |
grub_register_command ("boot", grub_cmd_boot, GRUB_COMMAND_FLAG_BOTH, |
grub_register_command ("boot", grub_cmd_boot, GRUB_COMMAND_FLAG_BOTH, |
45 |
"boot", "Boot an operating system.", 0); |
"boot", "Boot an operating system.", 0); |
46 |
} |
} |
47 |
|
|
48 |
GRUB_MOD_FINI |
GRUB_MOD_FINI(boot) |
49 |
{ |
{ |
50 |
grub_unregister_command ("boot"); |
grub_unregister_command ("boot"); |
51 |
} |
} |
|
#endif /* ! GRUB_UTIL */ |
|