Searched refs:vmx_invvpid (Results 1 – 1 of 1) sorted by relevance
92 vmx_invvpid(uint64_t op, struct vpid_desc *desc) in vmx_invvpid() function2296 vmx_invvpid(vmx_tlb_flush_op, &vpid_desc); in vmx_vcpu_run()