#include <ctl_api.h> void ctl_global_interrupts_un_re_enable_from_isr(void);
The ctl_global_interrupts_un_re_enable_from_isr undoes whatever ctl_global_interrupts_re_enable_from_isr had to do resulting in global interrupts being disabled whilst in an interrupt service routine.
ctl_isr_disable_interrupts is provided in every implementation of the CrossWorks tasking library.