__cvmx_interrupt_stxx_int_msk_enable
__cvmx_interrupt_stxx_int_msk_enable(interface);
void __cvmx_interrupt_stxx_int_msk_enable(int index);