Constant TDP_NOFAULTING 

pub const TDP_NOFAULTING: c_int = 0x00000080;