IMCR_L1PINV       245 arch/c6x/platforms/cache.c 	imcr_set(IMCR_L1PINV, set);
IMCR_L1PINV       246 arch/c6x/platforms/cache.c 	while (imcr_get(IMCR_L1PINV) & 1)