Fix dma-mapping.c