> At least on the board I have here they are not labeled (though
> they are documented in the manual for the AXPpci33, which, last I checked,
> was available somewhere on gatekeeper or digital's web site or both)

IF that's the ``Digital AXPpci 33 Alpha PC Motherboard OEM Design
Guide'', i forget where it is on gatekeeper, but it's in my DEC doc
archive, with a pointer at:

ftp://ftp.netbsd.org/pub/NetBSD/misc/dec-docs/index.html#alpha-sys-axppci33



chris