DEBUG_REGISTERS_INT64

Constant DEBUG_REGISTERS_INT64 

pub const DEBUG_REGISTERS_INT64: u32 = 2u32;