25.16.1.11 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.