padding4          130 mmu.h            ushort padding4;
padding4          169 x86.h            ushort padding4;