Constant pt_error_code_pte_nomap 

pub const pt_error_code_pte_nomap: pt_error_code = 13;