1 #ifndef _IPXE_BIOS_REBOOT_H
2 #define _IPXE_BIOS_REBOOT_H
6 * Standard PC-BIOS reboot mechanism
10 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
13 #define REBOOT_PREFIX_pcbios
15 #define REBOOT_PREFIX_pcbios __pcbios_
18 #endif /* _IPXE_BIOS_REBOOT_H */