../ppc32/data-cache-instructions.c