Searched refs:dcbi (Results 1 – 2 of 2) sorted by relevance
123 static inline void dcbi(void *addr) in dcbi() function
120 dcbi(addr); in invalidate_dcache_range()