Searched refs:__invvpid (Results 1 – 1 of 1) sorted by relevance
489 static always_inline void __invvpid(unsigned long type, u16 vpid, u64 gva) in __invvpid() function548 __invvpid(type, v->arch.hvm_vcpu.n1asid.asid, (u64)gva); in vpid_sync_vcpu_gva()553 __invvpid(INVVPID_ALL_CONTEXT, 0, 0); in vpid_sync_all()
Completed in 5 milliseconds