pal_vaddr         457 arch/ia64/kernel/efi.c 	void *pal_vaddr = efi_get_pal_addr ();
pal_vaddr         460 arch/ia64/kernel/efi.c 	if (!pal_vaddr)
pal_vaddr         468 arch/ia64/kernel/efi.c 		 GRANULEROUNDDOWN((unsigned long) pal_vaddr),
pal_vaddr         469 arch/ia64/kernel/efi.c 		 pte_val(pfn_pte(__pa(pal_vaddr) >> PAGE_SHIFT, PAGE_KERNEL)),
pal_vaddr        1837 arch/ia64/kernel/mca.c 	void *pal_vaddr;
pal_vaddr        1877 arch/ia64/kernel/mca.c 	pal_vaddr = efi_get_pal_addr();
pal_vaddr        1878 arch/ia64/kernel/mca.c 	if (!pal_vaddr)
pal_vaddr        1881 arch/ia64/kernel/mca.c 		GRANULEROUNDDOWN((unsigned long) pal_vaddr));
pal_vaddr        1882 arch/ia64/kernel/mca.c 	__this_cpu_write(ia64_mca_pal_pte, pte_val(mk_pte_phys(__pa(pal_vaddr),