Searched refs:max_va (Results 1 – 2 of 2) sorted by relevance
117 vaddr_t max_va = 0; in prepare_memory_map() local146 if (map->va + map->size > max_va) in prepare_memory_map()147 max_va = map->va + map->size; in prepare_memory_map()
1035 uint64_t max_va = 0; in core_init_mmu() local1071 if (va_end > max_va) in core_init_mmu()1072 max_va = va_end; in core_init_mmu()1080 assert(max_va < BIT64(CFG_LPAE_ADDR_SPACE_BITS)); in core_init_mmu()