TIMER_CONFIG       15 drivers/clocksource/timer-gx6605s.c #define TIMER_CONFIG	0x20
TIMER_CONFIG       58 include/video/mach64.h #define TIMER_CONFIG		0x0028	/* Dword offset 0_0A */