Searched defs:vmcs_cpu (Results 1 – 1 of 1) sorted by relevance
799 os_cpu_t *vmcs_cpu; member951 os_cpu_t *vmcs_cpu; in vmx_vmcs_enter() local