void SYS_Initialize(void* data) { . . . /* Initialize System Services */ SYS_INT_Initialize(); /* Initialize Middleware */ /* Enable Global Interrupts */ SYS_INT_Enable(); . . . }