181952 /* XXX 64-bit PCI addresses? */