#include "ddk750_help.h"

  void __iomem *mmio750;
  char revId750;
  unsigned short devId750;

  
  /* after driver mapped io registers, use this function first */

  void ddk750_set_mmio(void __iomem *addr, unsigned short devId, char revId)

  {
  	mmio750 = addr;
  	devId750 = devId;
  	revId750 = revId;

  	if (revId == 0xfe)

  		printk("found sm750le
  ");
  }