Searched refs:VCPU_ID0 (Results 1 – 1 of 1) sorted by relevance
20 #define VCPU_ID0 0 macro45 res = _vm_ioctl(vm, KVM_SET_BOOT_CPU_ID, (void *) VCPU_ID0); in test_set_boot_busy()117 add_x86_vcpu(vm, VCPU_ID0, !is_bsp_vcpu1); in run_vm_bsp()120 run_vcpu(vm, VCPU_ID0); in run_vm_bsp()133 add_x86_vcpu(vm, VCPU_ID0, true); in check_set_bsp_busy()139 run_vcpu(vm, VCPU_ID0); in check_set_bsp_busy()155 run_vm_bsp(VCPU_ID0); in main()157 run_vm_bsp(VCPU_ID0); in main()