Searched refs:core_mmu_get_va_width (Results 1 – 5 of 5) sorted by relevance
194 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function206 return va < BIT64(core_mmu_get_va_width()); in core_mmu_va_is_valid()
197 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function205 return va < BIT64(core_mmu_get_va_width()); in core_mmu_va_is_valid()
232 const unsigned int va_width = core_mmu_get_va_width(); in arch_aslr_base_addr()
723 const unsigned int va_width = core_mmu_get_va_width(); in arch_aslr_base_addr()
1249 return paddr > BIT64(core_mmu_get_va_width()) / 2; in place_tee_ram_at_top()