Searched refs:core_mmu_get_va_width (Results 1 – 3 of 3) sorted by relevance
127 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function
228 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function
983 return paddr > BIT64(core_mmu_get_va_width()) / 2; in place_tee_ram_at_top()1030 if (va >= BIT64(core_mmu_get_va_width())) in assign_mem_va_dir()1103 if (va >= BIT64(core_mmu_get_va_width())) in assign_mem_va_dir()1230 const unsigned int va_width = core_mmu_get_va_width(); in init_mem_map()
Completed in 7 milliseconds