Home
last modified time | relevance | path

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

/Kernel-v11.1.0/portable/GCC/AVR32_UC3/
Dport.c223 __attribute__( ( __naked__ ) ) static void vTick( void ) in vTick() function
452 INTC_register_interrupt( &vTick, configTICK_TC_IRQ, INT0 ); in prvSetupTimerInterrupt()
469 INTC_register_interrupt( &vTick, AVR32_CORE_COMPARE_IRQ, INT0 ); in prvSetupTimerInterrupt()
/Kernel-v11.1.0/portable/IAR/AVR32_UC3/
Dport.c191 static void vTick( void ) in vTick() function
425 INTC_register_interrupt( ( __int_handler ) & vTick, configTICK_TC_IRQ, INT0 ); in prvSetupTimerInterrupt()
442 INTC_register_interrupt( ( __int_handler ) & vTick, AVR32_CORE_COMPARE_IRQ, INT0 ); in prvSetupTimerInterrupt()