Lines Matching defs:cpu
195 vmx_cpu_t *cpu = ¤t_cpu_datap()->cpu_vmx;
201 assert(cpu->specs.vmx_present);
203 if (NULL == cpu->vmxon_region)
205 vmxon_region_paddr = vmx_paddr(cpu->vmxon_region);
212 assert(vmx_is_cr0_valid(&cpu->specs));
213 assert(vmx_is_cr4_valid(&cpu->specs));
245 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx;
248 cpu->vmxon_region = vmx_pcalloc();
249 if (NULL == cpu->vmxon_region)
251 *(uint32_t*)(cpu->vmxon_region) = cpu->specs.vmcs_id;
265 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx;
267 vmx_pfree(cpu->vmxon_region);
268 cpu->vmxon_region = NULL;
284 vmx_cpu_t *cpu = &cpu_datap(i)->cpu_vmx;
286 if (!cpu->specs.vmx_present)