172c58b998
argument. It is actually the same type on amd64 (vm_paddr_t = vm_offset_t) but this reduces the i386<->amd64 diffs a little.