pub const V86FLAGS_IOPL: u32 = 12288u32;