Searched defs:vpid (Results 1 – 5 of 5) sorted by relevance
236 static inline void __invvpid(unsigned long ext, u16 vpid, gva_t gva) in __invvpid()239 u64 vpid : 16; in __invvpid() member256 static inline bool vpid_sync_vcpu_addr(int vpid, gva_t addr) in vpid_sync_vcpu_addr()269 static inline void vpid_sync_vcpu_single(int vpid) in vpid_sync_vcpu_single()284 static inline void vpid_sync_context(int vpid) in vpid_sync_context()
247 int vpid; member490 static inline void __vmx_flush_tlb(struct kvm_vcpu *vcpu, int vpid, in __vmx_flush_tlb()
65 u32 vpid; member
381 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva) in invvpid_error()2842 int vpid = to_vmx(vcpu)->vpid; in vmx_flush_tlb_gva() local3574 int vpid; in allocate_vpid() local3588 void free_vpid(int vpid) in free_vpid()
4981 u64 vpid; in handle_invvpid() member