Home
last modified time | relevance | path

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

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