taglinefilesource code
ptbr91arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
ptbr139arch/alpha/mm/init.cinit_task.tss.ptbr = newptbr;
ptbr9include/asm-alpha/hwrpb.hunsigned long ptbr;
ptbr221include/asm-alpha/pgtable.htsk->tss.ptbr = ((unsigned long) pgdir - PAGE_OFFSET) >> PAGE_SHIFT;
ptbr231include/asm-alpha/pgtable.hreturn (pgd_t *) ((tsk->tss.ptbr << PAGE_SHIFT) + PAGE_OFFSET) +
ptbr32include/asm-alpha/processor.hunsigned long ptbr;