convert gpio to getput
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:17:23 +0000 (13:17 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 23 Jul 2018 12:17:23 +0000 (13:17 +0100)
src/peripherals/gpio/gpio.bsv

index 34b113410b0812b1c5dd0408b66d9a8edd54fc69..c43c23e532ea9869e30a144900a446fe7e77fe6a 100644 (file)
@@ -193,7 +193,7 @@ package gpio;
                endmethod
       endinterface;
       interface gpio_out = interface Get#(ionum)
-               method Vector#(ionum,Bit#(1))  get;
+               method Vector#(ionum_,Bit#(1))  get;
                        Vector#(ionum,Bit#(1)) temp;
                        for(Integer i=0;i<ionum;i=i+1)
                                temp[i]=dataout_register[i];
@@ -201,7 +201,7 @@ package gpio;
                endmethod
       endinterface;
       interface gpio_out_en = interface Get#(ionum)
-               method Vector#(ionum,Bit#(1))   get;
+               method Vector#(ionum_,Bit#(1))   get;
                        Vector#(ionum,Bit#(1)) temp;
                        for(Integer i=0;i<ionum;i=i+1)
                                temp[i]=pack(direction_reg[i]);