void __init rbtx4938_prom_init(void) { add_memory_region(0, tx4938_get_mem_size(), BOOT_MEM_RAM); txx9_sio_putchar_init(TX4938_SIO_REG(0) & 0xfffffffffULL); }
void __init rbtx4939_prom_init(void) { tx4939_add_memory_regions(); txx9_sio_putchar_init(TX4939_SIO_REG(0) & 0xfffffffffULL); }