#ifndef __VERSATILE_INIT_H__ #define __VERSATILE_INIT_H__ void versatile_add_sdram(u32 size); void versatile_register_uart(unsigned id); void versatile_register_i2c(void); #endif