1//#include "ddk750_reg.h"
2//#include "ddk750_chip.h"
3#include "ddk750_help.h"
4
5void __iomem * mmio750 = NULL;
6char revId750 = 0;
7unsigned short devId750 = 0;
8
9/* after driver mapped io registers, use this function first */
10void ddk750_set_mmio(void __iomem * addr,unsigned short devId,char revId)
11{
12	mmio750 = addr;
13	devId750 = devId;
14	revId750 = revId;
15	if(revId == 0xfe)
16		printk("found sm750le\n");
17}
18
19
20