1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #ifndef BCM63XX_BOARD_H_ 3 #define BCM63XX_BOARD_H_ 4 5 const char *board_get_name(void); 6 7 void board_prom_init(void); 8 9 void board_setup(void); 10 11 int board_register_devices(void); 12 13 #endif /* ! BCM63XX_BOARD_H_ */