Constant pt_error_code_pte_bad_cpu 

pub const pt_error_code_pte_bad_cpu: pt_error_code = 27;