tag	line	file	source code
init_pcb	172	arch/alpha/boot/main.c	struct pcb_struct * init_pcb = (struct pcb_struct *) INIT_PCB;
init_pcb	185	arch/alpha/boot/main.c	*init_pcb = *pcb_va;
init_pcb	186	arch/alpha/boot/main.c	init_pcb->ksp = PAGE_SIZE + INIT_STACK;
init_pcb	187	arch/alpha/boot/main.c	init_pcb->ptbr = newptbr;
init_pcb	198	arch/alpha/boot/main.c	"r" (init_pcb),