20 |
#ifndef GRUB_KERNEL_MACHINE_HEADER |
#ifndef GRUB_KERNEL_MACHINE_HEADER |
21 |
#define GRUB_KERNEL_MACHINE_HEADER 1 |
#define GRUB_KERNEL_MACHINE_HEADER 1 |
22 |
|
|
23 |
|
#include <grub/symbol.h> |
24 |
|
|
25 |
|
void EXPORT_FUNC (abort) (void); |
26 |
|
void EXPORT_FUNC (grub_reboot) (void); |
27 |
|
void EXPORT_FUNC (grub_halt) (void); |
28 |
|
|
29 |
/* Where grub-mkimage places the core modules in memory. */ |
/* Where grub-mkimage places the core modules in memory. */ |
30 |
#define GRUB_IEEE1275_MODULE_BASE 0x00300000 |
#define GRUB_IEEE1275_MODULE_BASE 0x00300000 |
31 |
|
|