pdtlb_kernel      464 arch/parisc/kernel/cache.c 	pdtlb_kernel(addr);
pdtlb_kernel       95 arch/parisc/kernel/pci-dma.c 		pdtlb_kernel(orig_vaddr);
pdtlb_kernel      174 arch/parisc/kernel/pci-dma.c 		pdtlb_kernel(orig_vaddr);