17.14.1.7 ioflags

The ioflags builtin returns the flags active in a given IO space, encoded in an unsigned 64-bit integer. It has the following prototype:

fun ioflags = (int<32> ios = get_ios) uint<64>

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