taglinefilesource code
ptbr91arch/alpha/boot/main.cpcb_va->ptbr = L1[1] >> 32;
ptbr176arch/alpha/boot/main.coldptbr = pcb_va->ptbr;
ptbr187arch/alpha/boot/main.cinit_pcb->ptbr = newptbr;
ptbr9include/asm-alpha/hwrpb.hunsigned long ptbr;
ptbr180include/asm-alpha/page.htsk->tss.ptbr = ((unsigned long) pgdir - PAGE_OFFSET) >> PAGE_SHIFT;
ptbr188include/asm-alpha/page.hreturn (pgd_t *) ((tsk->tss.ptbr << PAGE_SHIFT) + PAGE_OFFSET) +
ptbr35include/asm-alpha/processor.hunsigned long ptbr;