taglinefilesource code
pcb_pa22arch/alpha/boot/main.cstruct pcb_struct * pcb_va, struct pcb_struct * pcb_pa,
pcb_pa105arch/alpha/boot/main.cstruct pcb_struct * pcb_pa;
pcb_pa120arch/alpha/boot/main.cpcb_pa = find_pa((unsigned long *) old_vptb, pcb_va);
pcb_pa132arch/alpha/boot/main.cpcb_pa,