24.16.1.13 iotype

The iotype builtin returns a string that describes the kind of device that backs some given IO space. It has the following prototype:

fun iotype = (int<32> ios = get_ios) string

Examples of strings returned are "MEMORY" and "FILE".

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