227 int dram_init(void)  in dram_init()  argument
246 static void set_fdtfile(void)  in set_fdtfile()  argument
261 static void set_fdt_addr(void)  in set_fdt_addr()  argument
282 static void set_usbethaddr(void)  in set_usbethaddr()  argument
312 static void set_board_info(void)  in set_board_info()  argument
327 static void set_serial_number(void)  in set_serial_number()  argument
383 static void* rpi_passed_fdt(void)  in rpi_passed_fdt()  argument
390 void* board_fdt_blob_setup(void)  in board_fdt_blob_setup()  argument
395 static void set_boot_args(void)  in set_boot_args()  argument
411 int misc_init_r(void)  in misc_init_r()  argument
425 static void get_board_rev(void)  in get_board_rev()  argument
479 static bool rpi_is_serial_active(void)  in rpi_is_serial_active()  argument
501 static void rpi_disable_inactive_uart(void)  in rpi_disable_inactive_uart()  argument
518 int board_init(void)  in board_init()  argument
537 void *board_fdt_blob_setup(void)  in board_fdt_blob_setup()  argument