Searched defs:vmcs_ptr (Results 1 – 2 of 2) sorted by relevance
561 void **vmcs_ptr = &get_cpu_var(vmcs_run); in init_vmcs() local591 void **vmcs_ptr = &get_cpu_var(vmcs_run); in load_vmcs() local
139 void **vmcs_ptr = &get_cpu_var(vmcs_run); in vmx_off() local
Completed in 780 milliseconds