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