10.14.1.5 iosize

The iosize builtin returns the size of a given IO space, as an offset. It has the following prototype:

defun iosize = (int<32> ios) offset<uint<64>,1>: { … }

If the IO space specified to iosize doesn’t exist, E_no_ios will be raised.