test_set_bsp_busy
test_set_bsp_busy(vcpus[1], "after adding vcpu");
test_set_bsp_busy(vcpus[1], "to a terminated vcpu");
test_set_bsp_busy(vcpu, "while running vm");