/* Dummy Platform Driver to extract & map shared register regions  */
static void mpsc_resource_err(char *s)
/* Dummy Platform Driver to extract & map shared register regions  */
static void mpsc_resource_err(char *s)
{
	printk(KERN_WARNING "MPSC: Platform device resource error in %s\n", s);
}