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