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