don't use dma_addr_t in userspace
missing include files