Symbol: pt_cpu_start
sys/amd64/pt/pt.c
521
pt_cpu_start(NULL);
sys/amd64/pt/pt.c
565
smp_rendezvous_cpus(ctx->cpu_map, NULL, pt_cpu_start, NULL, NULL);