tag	line	file	source code
ptbr	114	arch/alpha/boot/main.c	pcb_va->ptbr = L1[1] >> 32;
ptbr	132	arch/alpha/mm/init.c	init_task.tss.ptbr = newptbr;
ptbr	44	include/asm-alpha/hwrpb.h	unsigned long ptbr;
ptbr	298	include/asm-alpha/pgtable.h	tsk->tss.ptbr = ((unsigned long) pgdir - PAGE_OFFSET) >> PAGE_SHIFT;
ptbr	32	include/asm-alpha/processor.h	unsigned long ptbr;