taglinefilesource code
pcb_va21arch/alpha/boot/main.cstruct pcb_struct * pcb_va, struct pcb_struct * pcb_pa,
pcb_va89arch/alpha/boot/main.cpcb_va->ksp = 0;
pcb_va90arch/alpha/boot/main.cpcb_va->usp = 0;
pcb_va91arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
pcb_va92arch/alpha/boot/main.cpcb_va->asn = 0;
pcb_va93arch/alpha/boot/main.cpcb_va->pcc = 0;
pcb_va94arch/alpha/boot/main.cpcb_va->unique = 0;
pcb_va95arch/alpha/boot/main.cpcb_va->flags = 1;
pcb_va96arch/alpha/boot/main.cpcb_pa = find_pa((unsigned long *) old_vptb, pcb_va);
pcb_va107arch/alpha/boot/main.cpcb_va,