[PATCH] ppc32: fix asm-ppc/dma-mapping.h sparse warning