1 //#include "ddk750_reg.h"
2 //#include "ddk750_chip.h"
3 #include "ddk750_help.h"
4 
5 void __iomem * mmio750 = NULL;
6 char revId750 = 0;
7 unsigned short devId750 = 0;
8 
9 /* after driver mapped io registers, use this function first */
ddk750_set_mmio(void __iomem * addr,unsigned short devId,char revId)10 void 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