Searched refs:tceaddr (Results 1 – 1 of 1) sorted by relevance
40 static inline void flush_tce(void* tceaddr) in flush_tce() argument44 clflush(tceaddr); in flush_tce()