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