Searched defs:max_va (Results 1 – 2 of 2) sorted by relevance
117 vaddr_t max_va = 0; in prepare_memory_map() local
1035 uint64_t max_va = 0; in core_init_mmu() local