pub const X86_EFLAGS_RESET_IF: u32 = 16777216;