Access to IO above 4GB in physical address map
There are two parts to this: permanent and temporary mapping. Initial tests suggest these are working for me on a Pi 4, though no device drivers yet use them in anger. If anyone has chance, it would be useful to try this out on other platforms to ensure I haven't introduced any regressions (in particular, doubly-mapped IO isn't used on the Pi and so hasn't been tested).