17.1.2.3 Instruction flush

Synopsys:

flush

Flush an IO space. The descriptor of the space to flush, and the bit-offset up to which perform the flushing are provided on the stack.

If the specified IO space doesn’t exist, this instruction raises PVM_E_IO.

Stack: ( INT ULONG -- )

Exceptions: PVM_E_IO