Searched refs:user_va_base (Results 1 – 1 of 1) sorted by relevance
1126 vaddr_t user_va_base = 0; in assign_mem_va() local1130 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in assign_mem_va()1131 if (tee_ram_va < (user_va_base + user_va_size)) in assign_mem_va()2099 vaddr_t user_va_base = 0; in check_pa_matches_va() local2102 core_mmu_get_user_va_range(&user_va_base, &user_va_size); in check_pa_matches_va()2103 if (v >= user_va_base && in check_pa_matches_va()2104 v <= (user_va_base - 1 + user_va_size)) { in check_pa_matches_va()
Completed in 6 milliseconds