Constant pt_error_code_pte_ip_suppressed 

pub const pt_error_code_pte_ip_suppressed: pt_error_code = 12;