Constant TDP_KTHREAD 

pub const TDP_KTHREAD: c_int = 0x00200000;