#include <ctl_api.h> void ctl_global_interrupts_re_enable_from_isr(void);
The function ctl_global_interrupts_re_enable_from_isr will do what is required to re-enable global interrupts from an interrupt service routine.
ctl_global_interrupts_re_enable_from_isr is provided in every implementation of the CrossWorks tasking library.