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