Next: , Previous: , Up: IO Spaces   [Contents][Index]


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