#ifndef __MACH_DEVICES_H
#define __MACH_DEVICES_H

void clps711x_setup_memcfg(int bank, u32 val);
void clps711x_add_uart(unsigned int id);

#endif