Constant KERN_TFP_POLICY_DEFAULT 

pub const KERN_TFP_POLICY_DEFAULT: c_int = 2;