FYI I just committed the 64-bit millicode to the CVS on puffin.external.hp.com adding it to libgcc.a as with 32-bit parisc gcc.