__cvmx_interrupt_pcsxx_int_en_reg_enable
__cvmx_interrupt_pcsxx_int_en_reg_enable(interface);
void __cvmx_interrupt_pcsxx_int_en_reg_enable(int index);