Symbol: pt_cpu_stop
sys/amd64/pt/pt.c
546
pt_cpu_stop(NULL);
sys/amd64/pt/pt.c
595
smp_rendezvous_cpus(ctx->cpu_map, NULL, pt_cpu_stop, NULL, NULL);