Home
last modified time | relevance | path

Searched refs:read_ttbr1 (Results 1 – 7 of 7) sorted by relevance

/optee_os/core/arch/arm/sm/
A Dpm_a32.S74 read_ttbr1 r6
/optee_os/core/arch/arm/mm/
A Dcore_mmu_v7.c670 write_ttbr0(read_ttbr1()); in core_mmu_set_user_map()
686 ret = read_ttbr0() != read_ttbr1(); in core_mmu_user_mapping_is_active()
/optee_os/core/arch/arm/kernel/
A Dabort.c155 ai->fault_descr, read_ttbr0(), read_ttbr1(), in __print_abort_info()
/optee_os/out/arm/core/include/generated/
A Darm32_sysreg.h452 static inline __noprof uint32_t read_ttbr1(void) in read_ttbr1() function
A Darm32_sysreg.S256 .macro read_ttbr1 reg macro
/optee_os/core/arch/arm/plat-imx/pm/
A Dpsci-cpuidle-imx7.S123 read_ttbr1 r7
A Dpsci-suspend-imx7.S77 read_ttbr1 r7

Completed in 14 milliseconds