Home
last modified time | relevance | path

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

/xen/xen/include/asm-x86/pv/
A Ddomain.h47 #define PCID_PV_USER 0x0001 macro
61 ((v->arch.flags & TF_kernel_mode) ? PCID_PV_PRIV : PCID_PV_USER); in get_pcid_bits()
/xen/xen/arch/x86/
A Dflushtlb.c216 invpcid_flush_one(PCID_PV_USER, addr); in flush_area_local()
220 invpcid_flush_one(PCID_PV_USER | PCID_PV_XPTI, addr); in flush_area_local()

Completed in 5 milliseconds