timerbase         248 drivers/clocksource/timer-ixp4xx.c void __init ixp4xx_timer_setup(resource_size_t timerbase,
timerbase         254 drivers/clocksource/timer-ixp4xx.c 	base = ioremap(timerbase, 0x100);
timerbase           7 include/linux/platform_data/timer-ixp4xx.h void __init ixp4xx_timer_setup(resource_size_t timerbase,