Searched defs:pgd_idx (Results 1 – 2 of 2) sorted by relevance
87 int pgd_idx, pmd_idx; in resume_physical_mapping_init() local
690 uintptr_t pgd_idx = pgd_index(va); in create_pgd_mapping() local