off_31_16         202 mmu.h            uint off_31_16 : 16;  // high bits of offset in segment
off_31_16         223 mmu.h            (gate).off_31_16 = (uint)(off) >> 16;                  \