timer counter interrupt for cortex-M4 Udoo Neo board

I am doing a research on the RTOS kernel on cortex-M, which requires timer counter interrupt, like research done on cortex-M3 / Arduino Due SAM3X8E which its configuration as follows :

void SetupTimer (){
pmc_set_writeprotect (false);
pmc_enable_periph_clk ((uint32_t) INT_GPIO1_INT7);
TC_Configure (TC2, 2, TC_CMR_WAVE | TC_CMR_WAVSEL_UP_RC | TC_CMR_TCCLKS_TIMER_CLOCK1);
TC_SetRC (TC2, 2, delayPeriod);

TC2-> TC_CHANNEL [2] .TC_IER = TC_IER_CPCS;
TC2-> TC_CHANNEL [2] .TC_IMR = TC_IMR_CPCS;
TC2-> TC_CHANNEL [2] .TC_IDR = ~ TC_IER_CPCS;

NVIC_SetPriority (INT_GPIO1_INT7, 0);
TC_Start (TC2,2);
NVIC_EnableIRQ (INT_GPIO1_INT7);
}

If Udoo Neo board for cortex-M4 on IMX6SX, how to access and use the counter interrupt timer provided because it is also associated with NVIC (Nested Vectored Interrupt Controller).

thank you.

 

The IMX6SX has the Enhanced Periodic Interrupt Timer (EPIT) feature refer to the i.MX 6SoloX Applications Processor Reference Manual for details.