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.