Il 13/08/2014 23:59, Marc Marí ha scritto: > If it is not dereferenced, it can work. But all references will have to > be casted from (void *) to (uint64_t) always which is what readl and > writel expect. I think this is better than calculating the addresses, > but is still a bit ugly.
It would also break subtly on 32-bit builds if we ever try using addresses above the first 4G (which could be an interesting test, and doesn't require lots of host memory if one uses hotplug). Paolo
