Function miri::shims::intrinsics::atomic::write_ord

fn write_ord<'tcx>(ord: &str) -> InterpResult<'tcx, AtomicWriteOrd>