Searched defs:vmx_cpu (Results 1 – 1 of 1) sorted by relevance
344 hma_vmx_cpu_t *vmx_cpu = hma_vmx_cpu(id); in hma_vmx_cpu_vmxon() local383 hma_vmx_cpu_t *vmx_cpu = hma_vmx_cpu(id); in hma_vmx_cpu_setup() local