ia64_ptce_info_t 1449 arch/ia64/include/asm/pal.h ia64_get_ptce (ia64_ptce_info_t *ptce)
ia64_ptce_info_t  297 arch/ia64/kernel/palinfo.c 	ia64_ptce_info_t ptce;
ia64_ptce_info_t  372 arch/ia64/mm/tlb.c 	ia64_ptce_info_t uninitialized_var(ptce_info); /* GCC be quiet */