#include "ddk750_help.h"

void __iomem *mmio750 = NULL;
char revId750 = 0;
unsigned short devId750 = 0;

/* 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\n");
}