I have just discovered that this issue is already being addressed, in the 'Build breakage from 'ARM: mm: use phys_addr_t appropriately in p2v and v2p conversions' thread, from Nov 25. Apologies for the noise.. Robert Gadsdon.