#include <linux/module.h>

  #include <mach/hardware.h>

  
  unsigned int __mxc_cpu_type;
  EXPORT_SYMBOL(__mxc_cpu_type);
  
  void mxc_set_cpu_type(unsigned int type)
  {
  	__mxc_cpu_type = type;
  }

  void imx_print_silicon_rev(const char *cpu, int srev)
  {
  	if (srev == IMX_CHIP_REVISION_UNKNOWN)
  		pr_info("CPU identified as %s, unknown revision
  ", cpu);
  	else
  		pr_info("CPU identified as %s, silicon rev %d.%d
  ",
  				cpu, (srev >> 4) & 0xf, srev & 0xf);
  }