52 |
/* The machine-specific initialization. This must initialize memory. */ |
/* The machine-specific initialization. This must initialize memory. */ |
53 |
void grub_machine_init (void); |
void grub_machine_init (void); |
54 |
|
|
55 |
|
/* The machine-specific finalization. */ |
56 |
|
void grub_machine_fini (void); |
57 |
|
|
58 |
/* Register all the exported symbols. This is automatically generated. */ |
/* Register all the exported symbols. This is automatically generated. */ |
59 |
void grub_register_exported_symbols (void); |
void grub_register_exported_symbols (void); |
60 |
|
|