Parent Directory | Revision Log | Patch
revision 1.10 by marco_g, Tue Jan 4 14:01:45 2005 UTC | revision 1.11 by okuji, Tue Feb 15 00:07:01 2005 UTC | |
---|---|---|
# | Line 232 grub_machine_init (void) | Line 232 grub_machine_init (void) |
232 | grub_env_set ("prefix", make_install_device ()); | grub_env_set ("prefix", make_install_device ()); |
233 | } | } |
234 | ||
235 | void | |
236 | grub_machine_fini (void) | |
237 | { | |
238 | grub_biosdisk_fini (); | |
239 | grub_console_fini (); | |
240 | } | |
241 | ||
242 | /* Return the end of the core image. */ | /* Return the end of the core image. */ |
243 | grub_addr_t | grub_addr_t |
244 | grub_arch_modules_addr (void) | grub_arch_modules_addr (void) |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |