ARCH_TIMER_USR_VCT_ACCESS_EN  829 drivers/clocksource/arm_arch_timer.c 		        | ARCH_TIMER_USR_VCT_ACCESS_EN
ARCH_TIMER_USR_VCT_ACCESS_EN  841 drivers/clocksource/arm_arch_timer.c 		cntkctl |= ARCH_TIMER_USR_VCT_ACCESS_EN;