Constant PT_MIPS_OPTIONS 

pub const PT_MIPS_OPTIONS: u32 = 0x7000_0002;