Searched refs:cinval (Results 1 – 1 of 1) sorted by relevance
343 static inline void cinval(void *p) in cinval() function1962 cinval((void *) adrs); in cacheflush()