/* SPDX-License-Identifier: Apache-2.0 */
/* Copyright (C) 2018,2019 IBM Corp. */

#ifndef _X86_H
#define _X86_H

/* Heavy-handed, at some point we might care about performance */
static inline void mfence(void)
{
	asm volatile("mfence" : : : "memory");
}

#endif