in GCC/TriCore_38xa/port.c [266:280]
static void prvSetupTimerInterrupt( void )
{
unsigned short cpuid = CPU_ID;
// Install handler for timer interrupt & reset interrupt flag
STMs[cpuid]->ISCR.U = 1;
InterruptInstall(STM_SRCs[cpuid], prvSystemTickHandler, configKERNEL_INTERRUPT_PRIORITY, 0);
// prepare compare register for first interrupt
STMs[cpuid]->CMP[0].U = STMs[cpuid]->TIM0.U + ulCompareMatchValue;
STMs[cpuid]->CMCON.U = 31;
STMs[cpuid]->OCS.B.SUS = 2;
STMs[cpuid]->ICR.B.CMP0EN = 1;
}