Next: iohandler, Previous: openset, Up: IO Spaces [Contents][Index]
iosize
The iosize builtin returns the size of a given IO space, as an offset. It has the following prototype:
fun iosize = (int<32> ios = get_ios) offset<uint<64>,1>
If the IO space specified to iosize doesn’t exist, E_no_ios will be raised.
E_no_ios