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

/optee_os/core/arch/arm/kernel/
A D	thread_a32.S	370 write_ttbr0_64bit r0, r1 822 write_ttbr0_64bit r0, r1 881 write_ttbr0_64bit r2, r3 883 write_ttbr0_64bit r6, r3 925 write_ttbr0_64bit r6, r7
A D	entry_a32.S	742 write_ttbr0_64bit r12, r0
/optee_os/core/arch/arm/mm/
A D	core_mmu_lpae.c	1163 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map() 1176 write_ttbr0_64bit(ttbr); in core_mmu_set_user_map()
/optee_os/out/arm/core/include/generated/
A D	arm32_sysreg.h	446 static inline __noprof void write_ttbr0_64bit(uint64_t v) in write_ttbr0_64bit() function
A D	arm32_sysreg.S	251 .macro write_ttbr0_64bit reg0, reg1 macro

Completed in 11 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023