Searched defs:vmx_cpudata (Results 1 – 1 of 1) sorted by relevance
787 struct vmx_cpudata { struct789 uint64_t asid;790 bool gtlb_want_flush;791 bool gtsc_want_update;792 uint64_t vcpu_htlb_gen;793 os_cpuset_t *htlb_want_flush;796 struct vmcs *vmcs;797 paddr_t vmcs_pa;798 size_t vmcs_refcnt;799 os_cpu_t *vmcs_cpu;[all …]