8512 /* address in kernel of DMA mem */