Searched refs:wr_dc_adr (Results 1 – 2 of 2) sorted by relevance
137 static inline void wr_dc_adr(uint val) in wr_dc_adr() function
159 wr_dc_adr(k); in checkdcache()