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