pub const X86_EFLAGS_VIF_BIT: u32 = 19;