Home
last modified time | relevance | path

Searched refs:vpid (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/x86/guest/hyperv/
A Dtlb.c167 unsigned int vpid = hv_vp_index(cpu); in hyperv_flush_tlb() local
169 if ( vpid > hv_max_vp_index ) in hyperv_flush_tlb()
175 if ( vpid >= 64 ) in hyperv_flush_tlb()
178 __set_bit(vpid, &flush->processor_mask); in hyperv_flush_tlb()
/xen/xen/include/asm-x86/hvm/vmx/
A Dvmx.h499 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid() argument
502 u64 vpid:16; in __invvpid() member
505 } operand = {vpid, 0, gva}; in __invvpid()
/xen/xen/arch/x86/hvm/vmx/
A Dvvmx.c2051 unsigned long vpid; in nvmx_handle_invvpid() local
2054 if ( (ret = decode_vmx_inst(regs, &decode, &vpid)) != X86EMUL_OKAY ) in nvmx_handle_invvpid()
/xen/docs/misc/
A Dxen-command-line.pandoc2312 ### vpid (Intel)

Completed in 11 milliseconds