#ifndef __MACH_DEVICES_H
#define __MACH_DEVICES_H
void clps711x_setup_memcfg(int bank, u32 val);
#endif