Searched refs:write_at_s1e1r (Results 1 – 2 of 2) sorted by relevance

/optee_os-3.20.0/core/arch/arm/mm/
A D	core_mmu.c	191 write_at_s1e1r((vaddr_t)va); in arch_va2pa_helper()
/optee_os-3.20.0/core/arch/arm/include/
A D	arm64.h	306 static inline __noprof void write_at_s1e1r(uint64_t va) in write_at_s1e1r() function

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023