I'd like to propose that we introduce ib_dma_addr_t. The idea is to add some type safety (via sparse checker) that we lost when all addresses were converted to u64. How does it sound? -- MST