// NEEL EDIT
interface iocell_side=pinmux.iocell_side;
interface pad_config0= gpioa.pad_config;
- method Action external_int(Bit#(`NUM_EINTS) in);
- wr_interrupt<= in;
- endmethod
+{9}
// NEEL EDIT OVER
/*===================================*/
endmodule