84 |
grub_ofdisk_init (); |
grub_ofdisk_init (); |
85 |
} |
} |
86 |
|
|
|
int |
|
|
grub_arch_dl_check_header (void *ehdr __attribute ((unused)), |
|
|
grub_size_t size __attribute ((unused))) |
|
|
{ |
|
|
return 0; |
|
|
} |
|
|
|
|
|
grub_err_t |
|
|
grub_arch_dl_relocate_symbols (grub_dl_t mod __attribute ((unused)), |
|
|
void *ehdr __attribute ((unused))) |
|
|
{ |
|
|
return 0; |
|
|
} |
|
|
|
|
87 |
void |
void |
88 |
grub_stop (void) |
grub_stop (void) |
89 |
{ |
{ |
90 |
for (;;); |
for (;;); |
91 |
} |
} |
92 |
|
|
|
void |
|
|
grub_register_exported_symbols (void) |
|
|
{ |
|
|
} |
|
|
|
|
93 |
grub_uint32_t |
grub_uint32_t |
94 |
grub_get_rtc (void) |
grub_get_rtc (void) |
95 |
{ |
{ |