Symbol: ia64_tpa
sys/arch/ia64/ia64/pmap.c
961
pte_pa = ia64_tpa((vaddr_t)pte);
sys/arch/ia64/ia64/sal.c
171
SAL_OS_BOOT_RENDEZ, ia64_tpa(fd->func),
sys/arch/ia64/ia64/sal.c
172
ia64_tpa(fd->gp), 0, 0, 0, 0);