Searched defs:pgd_idx (Results 1 – 3 of 3) sorted by relevance
112 int pgd_idx = pgd_index(vaddr); in populate_extra_pmd() local134 int pgd_idx, pmd_idx; in page_table_range_init_count() local211 int pgd_idx, pmd_idx; in page_table_range_init() local267 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
386 uintptr_t pgd_idx = pgd_index(va); in create_pgd_mapping() local
