Searched refs:vpid (Results 1 – 4 of 4) sorted by relevance
167 unsigned int vpid = hv_vp_index(cpu); in hyperv_flush_tlb() local169 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()
499 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid() argument502 u64 vpid:16; in __invvpid() member505 } operand = {vpid, 0, gva}; in __invvpid()
2051 unsigned long vpid; in nvmx_handle_invvpid() local2054 if ( (ret = decode_vmx_inst(regs, &decode, &vpid)) != X86EMUL_OKAY ) in nvmx_handle_invvpid()
2312 ### vpid (Intel)
Completed in 11 milliseconds