UV_MMTIMER_NAME
UV_MMTIMER_NAME,
printk(KERN_ERR "%s: Hardware unsupported\n", UV_MMTIMER_NAME);
UV_MMTIMER_NAME);