Searched refs:pal_vaddr (Results 1 - 2 of 2) sorted by relevance

/linux-4.1.27/arch/ia64/kernel/
H A Defi.c453 void *pal_vaddr = efi_get_pal_addr (); efi_map_pal_code() local
456 if (!pal_vaddr) efi_map_pal_code()
464 GRANULEROUNDDOWN((unsigned long) pal_vaddr), efi_map_pal_code()
465 pte_val(pfn_pte(__pa(pal_vaddr) >> PAGE_SHIFT, PAGE_KERNEL)), efi_map_pal_code()
H A Dmca.c1844 void *pal_vaddr; ia64_mca_cpu_init() local
1884 pal_vaddr = efi_get_pal_addr(); ia64_mca_cpu_init()
1885 if (!pal_vaddr) ia64_mca_cpu_init()
1888 GRANULEROUNDDOWN((unsigned long) pal_vaddr)); ia64_mca_cpu_init()
1889 __this_cpu_write(ia64_mca_pal_pte, pte_val(mk_pte_phys(__pa(pal_vaddr), ia64_mca_cpu_init()

Completed in 105 milliseconds