taglinefilesource code
init_pcb158arch/alpha/boot/main.cstruct pcb_struct * init_pcb = (struct pcb_struct *) INIT_PCB;
init_pcb160arch/alpha/boot/main.c*init_pcb = *pcb_va;
init_pcb161arch/alpha/boot/main.cinit_pcb->ksp = PAGE_SIZE + INIT_STACK;
init_pcb170arch/alpha/boot/main.c"r" (init_pcb),