Searched refs:va_range_base (Results 1 – 3 of 3) sorted by relevance
995 vaddr_t va_range_base = 0; in core_mmu_get_user_pgdir() local999 core_mmu_get_user_va_range(&va_range_base, NULL); in core_mmu_get_user_pgdir()1001 va_range_base, pgt); in core_mmu_get_user_pgdir()
244 vaddr_t va_range_base = 0; in umap_add_region() local250 core_mmu_get_user_va_range(&va_range_base, &va_range_size); in umap_add_region()251 dummy_first_reg.va = va_range_base; in umap_add_region()252 dummy_last_reg.va = va_range_base + va_range_size; in umap_add_region()
1252 vaddr_t va_range_base; in core_mmu_get_user_pgdir() local1255 core_mmu_get_user_va_range(&va_range_base, NULL); in core_mmu_get_user_pgdir()1256 core_mmu_set_info_table(pgd_info, 2, va_range_base, tbl); in core_mmu_get_user_pgdir()