Function creusot_contracts::std::arch::x86_64::_mm_mfence

pub unsafe fn _mm_mfence()

Available on x86-64 only.

Performs a serializing operation on all load-from-memory and store-to-memory instructions that were issued prior to this instruction.

Guarantees that every memory access that precedes, in program order, the memory fence instruction is globally visible before any memory instruction which follows the fence in program order.

Intel’s documentation