Home
last modified time | relevance | path

Searched defs:write_ttbr0 (Results 1 – 2 of 2) sorted by relevance

/aosp_15_r20/external/coreboot/payloads/libpayload/include/arm/arch/
H A Dcache.h102 static inline void write_ttbr0(uint32_t val) in write_ttbr0() function
/aosp_15_r20/external/coreboot/src/arch/arm/include/armv7/arch/
H A Dcache.h108 static inline void write_ttbr0(uint32_t val) in write_ttbr0() function