> Where are they documented?  The architecture handbook only lists the
> reserved opcodes, not their meaning.  (It also lists the PAL entry points.)
> I haven't yet stumbled over the documentation for the PALcode ops of
> the various DECchips.

The green architecture reference manual has all the information,
AFAIK.   You can also read the MILO source.   I can't claim to have
gone over this in depth, but this is my recollection from over a year
ago.

			       _MelloN_