Home
last modified time | relevance | path

Searched refs:vKernelTick (Results 1 – 2 of 2) sorted by relevance

/Kernel-v10.6.2/portable/ThirdParty/GCC/ARC_v1/
HDport.c59 static void vKernelTick( void * ptr ) in vKernelTick() function
85 int_handler_install( BOARD_OS_TIMER_INTNO, ( INT_HANDLER_T ) vKernelTick ); in prvSetupTimerInterrupt()
/Kernel-v10.6.2/portable/ThirdParty/GCC/ARC_EM_HS/
HDport.c59 static void vKernelTick( void * ptr ) in vKernelTick() function
85 int_handler_install( BOARD_OS_TIMER_INTNO, ( INT_HANDLER_T ) vKernelTick ); in prvSetupTimerInterrupt()