Where are the VCPU threads created?

[Stefan Andritoiu]

I see that in the main() function of bhyverun.c it adds CPU0 by
calling fbsdrun_addcpu(ctx, 0, 0, rip). But I can't find where the
other VCPUs are added. Or if the 'guest_ncpus' variable is ever used
(except for error checks)