idt82p33_extts_enable_mask
new_mask = idt82p33_extts_enable_mask(channel, old_mask, false);
idt82p33_extts_enable_mask(channel, new_mask, true);