Searched refs:va_range_base (Results 1 – 2 of 2) sorted by relevance
932 vaddr_t va_range_base; in core_mmu_get_user_pgdir() local935 core_mmu_get_user_va_range(&va_range_base, NULL); in core_mmu_get_user_pgdir()936 core_mmu_set_info_table(pgd_info, 2, va_range_base, tbl); in core_mmu_get_user_pgdir()
210 vaddr_t va_range_base = 0; in umap_add_region() local216 core_mmu_get_user_va_range(&va_range_base, &va_range_size); in umap_add_region()217 dummy_first_reg.va = va_range_base; in umap_add_region()218 dummy_last_reg.va = va_range_base + va_range_size; in umap_add_region()
Completed in 6 milliseconds