Searched defs:vmx_cpudata (Results 1 – 1 of 1) sorted by relevance
780 struct vmx_cpudata { struct782 uint64_t asid;783 bool gtlb_want_flush;784 bool gtsc_want_update;785 uint64_t vcpu_htlb_gen;786 kcpuset_t *htlb_want_flush;789 struct vmcs *vmcs;790 paddr_t vmcs_pa;791 size_t vmcs_refcnt;792 struct cpu_info *vmcs_ci;[all …]