mipsel_platform_type
MipselPlatform(mipsel_platform_type platformType);
inline mipsel_platform_type PlatformType() const { return fPlatformType; }
mipsel_platform_type fPlatformType;