Constant X86_EFLAGS_TF_BIT 

pub const X86_EFLAGS_TF_BIT: u32 = 8;