Searched defs:pgd_idx (Results 1 – 4 of 4) sorted by relevance
109 int pgd_idx = pgd_index(vaddr); in populate_extra_pmd() local131 int pgd_idx, pmd_idx; in page_table_range_init_count() local206 int pgd_idx, pmd_idx; in page_table_range_init() local258 int pgd_idx, pmd_idx, pte_ofs; in kernel_physical_mapping_init() local
87 int pgd_idx, pmd_idx; in resume_physical_mapping_init() local
281 static void __init clear_next_level(int pgd_idx, int start, int end) in clear_next_level()
726 uintptr_t pgd_idx = pgd_index(va); in create_pgd_mapping() local