Home
last modified time | relevance | path

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

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