convert gpio to getput
[shakti-peripherals.git] / src / peripherals / gpio / gpio.bsv
index ff7ab71342cf058f667e5de8de018ad6722cdf5b..64f76fcdc917bc2ee179e3cd2218c089899f70f8 100644 (file)
@@ -193,7 +193,7 @@ package gpio;
                endmethod
       endinterface;
       interface gpio_out = interface Get#(ionum)
-               method Vector#(ionum,Bit#(1))  get;
+               method ActionValue#(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,12 +201,13 @@ package gpio;
                endmethod
       endinterface;
       interface gpio_out_en = interface Get#(ionum)
-               method Vector#(ionum,Bit#(1))   get;
+               method ActionValue#(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]);
                        return temp;
                endmethod
+      endinterface;
     endinterface;
     interface pad_config=interface GPIO_config
                method Vector#(ionum,Bit#(1))   gpio_DRV0;