__cvmx_interrupt_spxx_int_msk_enable
__cvmx_interrupt_spxx_int_msk_enable(interface);
void __cvmx_interrupt_spxx_int_msk_enable(int index);