Searched refs:p4d_index (Results 1 – 6 of 6) sorted by relevance
633 uintptr_t p4d_index = p4d_index(va); in create_p4d_mapping() local636 if (p4d_val(p4dp[p4d_index]) == 0) in create_p4d_mapping()637 p4dp[p4d_index] = pfn_p4d(PFN_DOWN(pa), prot); in create_p4d_mapping()641 if (p4d_val(p4dp[p4d_index]) == 0) { in create_p4d_mapping()643 p4dp[p4d_index] = pfn_p4d(PFN_DOWN(next_phys), PAGE_TABLE); in create_p4d_mapping()647 next_phys = PFN_PHYS(_p4d_pfn(p4dp[p4d_index])); in create_p4d_mapping()1658 p4dp = pgtable_l5_enabled ? p4d_base + p4d_index(addr) : p4d_base; in remove_p4d_mapping()
200 p4d_tramp = p4d_page_tramp + p4d_index(paddr); in init_trampoline_kaslr()
200 return (p4d_t *)p4d + p4d_index(addr); in early_p4d_offset()
114 p4d_p += p4d_index(address); in __early_make_pgtable()
396 #define p4d_index(addr) (((addr) >> P4D_SHIFT) & (PTRS_PER_P4D - 1)) macro
452 p4dp += p4d_index(addr); in alloc_init_p4d()