ARCH_TIMER_EVT_TRIGGER_SHIFT
cntkctl |= (divider << ARCH_TIMER_EVT_TRIGGER_SHIFT)
#define ARCH_TIMER_EVT_TRIGGER_MASK (0xF << ARCH_TIMER_EVT_TRIGGER_SHIFT)