ARCH_TIMER_VIRT_EVT_EN  802 drivers/clocksource/arm_arch_timer.c 			| ARCH_TIMER_VIRT_EVT_EN;
ARCH_TIMER_VIRT_EVT_EN  830 drivers/clocksource/arm_arch_timer.c 			| ARCH_TIMER_VIRT_EVT_EN