262 static inline phys_addr_t __init alloc_pte_early(uintptr_t va)  in alloc_pte_early()
271 static inline phys_addr_t __init alloc_pte_fixmap(uintptr_t va)  in alloc_pte_fixmap()
276 static phys_addr_t alloc_pte_late(uintptr_t va)  in alloc_pte_late()
287 				      uintptr_t va, phys_addr_t pa,  in create_pte_mapping()
322 static phys_addr_t __init alloc_pmd_early(uintptr_t va)  in alloc_pmd_early()
329 static phys_addr_t __init alloc_pmd_fixmap(uintptr_t va)  in alloc_pmd_fixmap()
334 static phys_addr_t alloc_pmd_late(uintptr_t va)  in alloc_pmd_late()
344 				      uintptr_t va, phys_addr_t pa,  in create_pmd_mapping()
386 				      uintptr_t va, phys_addr_t pa,  in create_pgd_mapping()
441 	uintptr_t va, pa, end_va;  in setup_vm()  local
553 	uintptr_t va, map_size;  in setup_vm_final()  local