taglinefilesource code
pcb_va21arch/alpha/boot/main.cstruct pcb_struct * pcb_va, struct pcb_struct * pcb_pa,
pcb_va112arch/alpha/boot/main.cpcb_va->ksp = 0;
pcb_va113arch/alpha/boot/main.cpcb_va->usp = 0;
pcb_va114arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
pcb_va115arch/alpha/boot/main.cpcb_va->asn = 0;
pcb_va116arch/alpha/boot/main.cpcb_va->pcc = 0;
pcb_va117arch/alpha/boot/main.cpcb_va->unique = 0;
pcb_va118arch/alpha/boot/main.cpcb_va->flags = 1;
pcb_va119arch/alpha/boot/main.cpcb_pa = find_pa((unsigned long *) old_vptb, pcb_va);
pcb_va130arch/alpha/boot/main.cpcb_va,