249 static inline phys_addr_t __init alloc_pte_early(uintptr_t va)  in alloc_pte_early()
258 static inline phys_addr_t __init alloc_pte_fixmap(uintptr_t va)  in alloc_pte_fixmap()
263 static phys_addr_t alloc_pte_late(uintptr_t va)  in alloc_pte_late()
274 				      uintptr_t va, phys_addr_t pa,  in create_pte_mapping()
315 static phys_addr_t __init alloc_pmd_early(uintptr_t va)  in alloc_pmd_early()
324 static phys_addr_t __init alloc_pmd_fixmap(uintptr_t va)  in alloc_pmd_fixmap()
329 static phys_addr_t alloc_pmd_late(uintptr_t va)  in alloc_pmd_late()
339 				      uintptr_t va, phys_addr_t pa,  in create_pmd_mapping()
381 				      uintptr_t va, phys_addr_t pa,  in create_pgd_mapping()
436 	uintptr_t va, pa, end_va;  in setup_vm()  local
549 	uintptr_t va, map_size;  in setup_vm_final()  local