Searched refs:CTR_IDC (Results 1 – 1 of 1) sorted by relevance
262 const unsigned CTR_IDC = 1u << 28; in flush_idcache_range() local273 if (!(ctr_el0 & CTR_IDC)) { in flush_idcache_range()