Constant DT_MIPS_PIXIE_INIT 

pub const DT_MIPS_PIXIE_INIT: u32 = 0x7000_0023;