Searched refs:p4d_page_vaddr (Results 1 – 4 of 4) sorted by relevance
846 static inline unsigned long p4d_page_vaddr(p4d_t p4d) in p4d_page_vaddr() function860 return (pud_t *)p4d_page_vaddr(*p4d) + pud_index(address); in pud_offset()
402 pud_start = start = (pud_t *)p4d_page_vaddr(addr); in walk_pud_level()
165 BUG_ON(p4d_page_vaddr(*p4d) in sync_global_pgds()166 != p4d_page_vaddr(*p4d_ref)); in sync_global_pgds()
179 pud = (pud_t *)p4d_page_vaddr(*p4d); in efi_call_phys_epilog()