close builtin allows you to destroy IO spaces, closing the
underlying IO device. The prototype is:
fun close = (int<32> ios) void
where ios is some previously created IO space. All pending data is written to the underlying IO device.
If the IO space specified to
close doesn’t exist then an
E_no_ios exception is raised.
If errors occured while closing the IO space, then
exception is raised.