Searched refs:vmcs_run (Results 1 – 4 of 4) sorted by relevance
26 void *vmcs_run; member
139 void **vmcs_ptr = &get_cpu_var(vmcs_run); in vmx_off()
561 void **vmcs_ptr = &get_cpu_var(vmcs_run); in init_vmcs()591 void **vmcs_ptr = &get_cpu_var(vmcs_run); in load_vmcs()
822 if ((get_pcpu_id() != pcpu_id) && (per_cpu(vmcs_run, pcpu_id) == vcpu->arch.vmcs)) { in kick_vcpu()
Completed in 7 milliseconds