Symbol: pri_free_cpu
usr.sbin/ldomctl/config.c
2465
pri_free_cpu(cpu);
usr.sbin/ldomctl/config.c
2492
pri_free_cpu(cpu);