Constant pt_exec_mode_ptem_64bit 

pub const pt_exec_mode_ptem_64bit: pt_exec_mode = 3;