Searched refs:board_late_init (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/tools/usbboot/include/aboot/
H A Daboot.h67 extern void board_late_init(void);
/barrelfish-2018-10-04/tools/usbboot/
H A Daboot.c117 board_late_init();
H A Dboard_panda.c9 void board_late_init(void) function

Completed in 26 milliseconds