Another question is whether we have any arch where PFN != PHYS >> PAGE_SHIFT?We've used __phys_to_pfn() to implement that on ARM (with a corresponding__pfn_to_phys()). Catalin recently added a cast to __phys_to_pfn() forLPAE, which I don't think is required: