Searched refs:vmcs_ptr (Results 1 – 2 of 2) sorted by relevance
139 void **vmcs_ptr = &get_cpu_var(vmcs_run); in vmx_off() local141 if (*vmcs_ptr != NULL) { in vmx_off()142 clear_va_vmcs(*vmcs_ptr); in vmx_off()143 *vmcs_ptr = NULL; in vmx_off()
561 void **vmcs_ptr = &get_cpu_var(vmcs_run); in init_vmcs() local575 *vmcs_ptr = (void *)vcpu->arch.vmcs; in init_vmcs()591 void **vmcs_ptr = &get_cpu_var(vmcs_run); in load_vmcs() local593 if (vcpu->launched && (*vmcs_ptr != (void *)vcpu->arch.vmcs)) { in load_vmcs()595 *vmcs_ptr = (void *)vcpu->arch.vmcs; in load_vmcs()
Completed in 6 milliseconds