Constant IOPL_MASK 

pub const IOPL_MASK: u32 = 12288;