> ull on 32 bits archs, because addr is
> a bus_addr_t which is in turn dma_addr_t which itself is u32. So unless I don't
> find the trick this would mean that this code should never be executed. Perhaps

dma_addr_t is either u32 or u64 on x86