From dc85aceb8b51272f48b9cf0b3059ae02124a1477 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Mon, 23 Jul 2018 13:14:39 +0100 Subject: [PATCH] convert gpio to getput --- src/peripherals/gpio/gpio.bsv | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/peripherals/gpio/gpio.bsv b/src/peripherals/gpio/gpio.bsv index 84e54be..ff7ab71 100644 --- a/src/peripherals/gpio/gpio.bsv +++ b/src/peripherals/gpio/gpio.bsv @@ -27,11 +27,11 @@ package gpio; interface GPIO_func#(numeric type ionum); (*always_ready,always_enabled*) - interface Put#(Vector#(ionum,Bit#(1)) gpio_in; + interface Put#(Vector#(ionum,Bit#(1))) gpio_in; (*always_ready*) - interface Get#(Vector#(ionum,Bit#(1)) gpio_out; + interface Get#(Vector#(ionum,Bit#(1))) gpio_out; (*always_ready*) - interface Get#(Vector#(ionum,Bit#(1)) gpio_out_en; + interface Get#(Vector#(ionum,Bit#(1))) gpio_out_en; endinterface interface GPIO_config#(numeric type ionum); (*always_ready*) -- 2.30.2