#include"ddk750_help.h"void__iomem*mmio750;charrevId750;unsignedshortdevId750;/* after driver mapped io registers, use this function first */voidddk750_set_mmio(void__iomem*addr,unsignedshortdevId,charrevId){mmio750=addr;devId750=devId;revId750=revId;if(revId==0xfe)printk("found sm750le\n");}