Symbol: guest_add_cpu
usr.sbin/ldomctl/config.c
2848
guest_add_cpu(primary, primary_stride);
usr.sbin/ldomctl/config.c
2864
guest_add_cpu(guest, domain->vcpu_stride);