#ifndef BOOT_H_ #define BOOT_H_ #include typedef void (*boot_entry_t)(int, int, int (*)(void *), void *, u_int); void main(void); #endif /* BOOT_H_ */