1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
/* efi68k.h * * $Id$ */ #ifndef _EFI68k_H_ #define _EFI68k_H_ /* interrupt levels */ #define WD_ISR_LEVEL 1 #define TCP_ISR_LEVEL 4 #define UART_ISR_LEVEL 6 #define INTR7 7 /* macro/function definitions */ static void reboot(void) __attribute__ ((noreturn)); __inline__ static void reboot(void) {asm("trap #15");} #endif /* _EFI68k_H_ */