void vPortEndScheduler()

in GCC/MSP430FR5969/port.c [239:243]


void vPortEndScheduler( void )
{
    /* It is unlikely that the MSP430 port will get stopped.  If required simply
    disable the tick interrupt here. */
}