linux/arch/x86/include/asm/invpcid.h

/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _ASM_X86_INVPCID
#define _ASM_X86_INVPCID

static inline void __invpcid(unsigned long pcid, unsigned long addr,
			     unsigned long type)
{ … }

#define INVPCID_TYPE_INDIV_ADDR …
#define INVPCID_TYPE_SINGLE_CTXT …
#define INVPCID_TYPE_ALL_INCL_GLOBAL …
#define INVPCID_TYPE_ALL_NON_GLOBAL …

/* Flush all mappings for a given pcid and addr, not including globals. */
static inline void invpcid_flush_one(unsigned long pcid,
				     unsigned long addr)
{ … }

/* Flush all mappings for a given PCID, not including globals. */
static inline void invpcid_flush_single_context(unsigned long pcid)
{ … }

/* Flush all mappings, including globals, for all PCIDs. */
static inline void invpcid_flush_all(void)
{ … }

/* Flush all mappings for all PCIDs except globals. */
static inline void invpcid_flush_all_nonglobals(void)
{ … }

#endif /* _ASM_X86_INVPCID */