c6431939_omizing_Image_Startup_Programs__Description
[Member] mask [Description] 
An outcall to mask an interrupt source at the hardware controller level. The numbers passed to this function are the interrupt vector numbers (starting at 0 to num_vectors - 1).
Customizing Image Startup Programs