Searched refs:user_va_base (Results 1 – 1 of 1) sorted by relevance
1427 vaddr_t user_va_base = 0; in assign_mem_va() local1431 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in assign_mem_va()1432 if (tee_ram_va < (user_va_base + user_va_size)) in assign_mem_va()2494 vaddr_t user_va_base = 0; in check_pa_matches_va() local2497 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in check_pa_matches_va()2498 if (v >= user_va_base && in check_pa_matches_va()2499 v <= (user_va_base - 1 + user_va_size)) { in check_pa_matches_va()