Constant EF_CSKY_ABIMASK 

pub const EF_CSKY_ABIMASK: u32 = 0xF000_0000;