24.16.1.7 set_ios

The set_ios builtin allows you to set a specific IO space as the new current IO space. It has the following prototype:

fun set_ios = (int<32> ios) int<32>

where ios is the IO space that will become the current IO space. If the IO space specified to set_ios doesn’t exist, E_no_ios will be raised.

Note that set_ios always returns 1. This is to ease its usage in struct fields constraint expressions.