104,107d103
< /** The request is an ALPHA VPTE pal access (hw_ld). */
< static const FlagsType VPTE = 0x00000400;
< /** Use the alternate mode bits in ALPHA. */
< static const FlagsType ALTMODE = 0x00000800;