Home
last modified time | relevance | path

Searched refs:PCID_PV_XPTI (Results 1 – 2 of 2) sorted by relevance

/xen/xen/include/asm-x86/pv/
A Ddomain.h48 #define PCID_PV_XPTI 0x0002 /* To be ORed to above values. */ macro
60 return X86_CR3_NOFLUSH | (is_xpti ? PCID_PV_XPTI : 0) | in get_pcid_bits()
/xen/xen/arch/x86/
A Dflushtlb.c219 invpcid_flush_one(PCID_PV_PRIV | PCID_PV_XPTI, addr); in flush_area_local()
220 invpcid_flush_one(PCID_PV_USER | PCID_PV_XPTI, addr); in flush_area_local()

Completed in 3 milliseconds