Searched refs:is_bsp_vcpu1 (Results 1 – 1 of 1) sorted by relevance
110 bool is_bsp_vcpu1 = bsp_vcpu == VCPU_ID1; in run_vm_bsp() local114 if (is_bsp_vcpu1) in run_vm_bsp()117 add_x86_vcpu(vm, VCPU_ID0, !is_bsp_vcpu1); in run_vm_bsp()118 add_x86_vcpu(vm, VCPU_ID1, is_bsp_vcpu1); in run_vm_bsp()