Searched defs:pal_vaddr (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.4/arch/ia64/kernel/ | ||
| D | efi.c | 457 void *pal_vaddr = efi_get_pal_addr (); in efi_map_pal_code() local |
| D | mca.c | 1837 void *pal_vaddr; in ia64_mca_cpu_init() local |
Searched defs:pal_vaddr (Results 1 – 2 of 2) sorted by relevance
| /Linux-v5.4/arch/ia64/kernel/ | ||
| D | efi.c | 457 void *pal_vaddr = efi_get_pal_addr (); in efi_map_pal_code() local |
| D | mca.c | 1837 void *pal_vaddr; in ia64_mca_cpu_init() local |