Searched refs:launch_core (Results 1 – 2 of 2) sorted by relevance
499 int launch_core; member
1099 if ( v->arch.hvm_svm.launch_core != smp_processor_id() ) in svm_do_resume()1101 v->arch.hvm_svm.launch_core = smp_processor_id(); in svm_do_resume()1208 v->arch.hvm_svm.launch_core = -1; in svm_vcpu_initialise()
Completed in 8 milliseconds