amd64_bsp_pcpu_init1
amd64_bsp_pcpu_init1(pc);
amd64_bsp_pcpu_init1(&__pcpu[0]);
void amd64_bsp_pcpu_init1(struct pcpu *pc);