Searched refs:vmx_cpu_t (Results 1 – 3 of 3) sorted by relevance
169 vmx_cpu_t *cpu = ¤t_cpu_datap()->cpu_vmx; in vmx_on()209 vmx_cpu_t *cpu = ¤t_cpu_datap()->cpu_vmx; in vmx_off()240 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx; in vmx_allocate_vmxon_regions()261 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx; in vmx_free_vmxon_regions()280 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx; in vmx_globally_available()391 vmx_cpu_t *cpu = ¤t_cpu_datap()->cpu_vmx; in vmx_resume()
61 } vmx_cpu_t; typedef
304 vmx_cpu_t cpu_vmx; /* wonderful world of virtualization */