Searched refs:p4d_page_vaddr (Results 1 – 4 of 4) sorted by relevance
914 static inline unsigned long p4d_page_vaddr(p4d_t p4d) in p4d_page_vaddr() function928 return (pud_t *)p4d_page_vaddr(*p4d) + pud_index(address); in pud_offset()
445 pud_start = start = (pud_t *)p4d_page_vaddr(addr); in walk_pud_level()
196 BUG_ON(p4d_page_vaddr(*p4d) in sync_global_pgds_l4()197 != p4d_page_vaddr(*p4d_ref)); in sync_global_pgds_l4()
182 pud = (pud_t *)p4d_page_vaddr(*p4d); in efi_call_phys_epilog()