11776 /* and associated DMA maps */