vmx_cpudata
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
vmx_inkernel_exec_cpuid(struct vmx_cpudata *cpudata, uint32_t eax, uint32_t ecx)
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
vmx_htlb_flush(struct nvmm_machine *mach, struct vmx_cpudata *cpudata)
vmx_htlb_flush_ack(struct vmx_cpudata *cpudata, uint64_t machgen)
vmx_exit_evt(struct vmx_cpudata *cpudata)
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata;
cpudata = (struct vmx_cpudata *)os_pagemem_zalloc(sizeof(*cpudata));
struct vmx_cpudata *cpudata = vcpu->cpudata;
vmx_vcpu_configure_cpuid(struct vmx_cpudata *cpudata, void *data)
vmx_vcpu_configure_tpr(struct vmx_cpudata *cpudata, void *data)
struct vmx_cpudata *cpudata = vcpu->cpudata;
struct vmx_cpudata *cpudata = vcpu->cpudata;