From e0ee566a4f507c76528d542788f420d6c5aa34af Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 23 Jul 2018 13:18:33 +0100
Subject: [PATCH] convert gpio to getput

---
 src/peripherals/gpio/gpio.bsv | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv
index c43c23e..64f76fc 100644
--- a/src/peripherals/gpio/gpio.bsv
+++ b/src/peripherals/gpio/gpio.bsv
@@ -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,7 +201,7 @@ 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]);
-- 
2.30.2