Searched refs:user_va_base (Results 1 – 1 of 1) sorted by relevance
1405 vaddr_t user_va_base = 0; in assign_mem_va() local1409 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in assign_mem_va()1410 if (tee_ram_va < (user_va_base + user_va_size)) in assign_mem_va()2472 vaddr_t user_va_base = 0; in check_pa_matches_va() local2475 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in check_pa_matches_va()2476 if (v >= user_va_base && in check_pa_matches_va()2477 v <= (user_va_base - 1 + user_va_size)) { in check_pa_matches_va()