Searched defs:pal_vaddr (Results 1 – 2 of 2) sorted by relevance
468 void *pal_vaddr = efi_get_pal_addr (); in efi_map_pal_code() local
1809 void *pal_vaddr; in ia64_mca_cpu_init() local