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 pushes PVM_E_NO_IOS. If the operation fails, it pushes PVM_E_IO. Otherwise, it pushes PVM_NULL
Stack: ( INT ULONG -- EXCEPTION|null )