#include <ctl_api.h> int ctl_mask_isr(unsigned int vector);
The function ctl_mask_isr disables an interrupt source. The vector argument specifies the interrupt source to mask.
ctl_disable_interrupts is provided in every implementation of the CrossWorks tasking library.
Programmable interrupt handling