pub const X86_EFLAGS_VIF_BIT: u32 = 19; // 19u32