ucode_load_ap
ucode_load_ap(cpu);
ucode_load_ap(myid);
void ucode_load_ap(int cpu);
ucode_load_ap(PCPU_GET(cpuid));