Home
last modified time | relevance | path

Searched refs:core_mmu_get_va_width (Results 1 – 5 of 5) sorted by relevance

/optee_os/core/arch/arm/include/mm/
H A Dcore_mmu_arch.h194 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function
206 return va < BIT64(core_mmu_get_va_width()); in core_mmu_va_is_valid()
/optee_os/core/arch/riscv/include/mm/
H A Dcore_mmu_arch.h197 static inline unsigned int core_mmu_get_va_width(void) in core_mmu_get_va_width() function
205 return va < BIT64(core_mmu_get_va_width()); in core_mmu_va_is_valid()
/optee_os/core/arch/arm/mm/
H A Dcore_mmu.c232 const unsigned int va_width = core_mmu_get_va_width(); in arch_aslr_base_addr()
/optee_os/core/arch/riscv/mm/
H A Dcore_mmu_arch.c723 const unsigned int va_width = core_mmu_get_va_width(); in arch_aslr_base_addr()
/optee_os/core/mm/
H A Dcore_mmu.c1249 return paddr > BIT64(core_mmu_get_va_width()) / 2; in place_tee_ram_at_top()