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