pub fn pipeline_flush_mt() -> Result<()>
Expand description

Flushes instructions in the processor pipeline

This pipeline flush is broadcast to all processors that are executing threads in the current process.

Calling pipeline_flush_mt is only required for multi-threaded programs and it must be called after all calls to clear_cache.

If the architecture does not require a pipeline flush, this function does nothing.