UV_MMTIMER_NAME   177 drivers/char/uv_mmtimer.c 	UV_MMTIMER_NAME,
UV_MMTIMER_NAME   190 drivers/char/uv_mmtimer.c 		printk(KERN_ERR "%s: Hardware unsupported\n", UV_MMTIMER_NAME);
UV_MMTIMER_NAME   199 drivers/char/uv_mmtimer.c 		       UV_MMTIMER_NAME);
UV_MMTIMER_NAME   209 drivers/char/uv_mmtimer.c 		       UV_MMTIMER_NAME);