Searched refs:max_va (Results 1 – 2 of 2) sorted by relevance
81 vaddr_t max_va = 0; in prepare_memory_map() local111 if (map[i].va + map[i].size > max_va) in prepare_memory_map()112 max_va = map[i].va + map[i].size; in prepare_memory_map()119 map[entries - 1].va = ROUNDUP(max_va, map[entries - 1].region_size); in prepare_memory_map()
797 uint64_t max_va = 0; in core_init_mmu() local814 if (va_end > max_va) in core_init_mmu()815 max_va = va_end; in core_init_mmu()823 assert(max_va < BIT64(CFG_LPAE_ADDR_SPACE_BITS)); in core_init_mmu()
Completed in 5 milliseconds