taglinefilesource code
ptbr115arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
ptbr132arch/alpha/mm/init.cinit_task.tss.ptbr = newptbr;
ptbr44include/asm-alpha/hwrpb.hunsigned long ptbr;
ptbr285include/asm-alpha/pgtable.htsk->tss.ptbr = ((unsigned long) pgdir - PAGE_OFFSET) >> PAGE_SHIFT;
ptbr32include/asm-alpha/processor.hunsigned long ptbr;