Constant DEBUG_DATA_SPACE_MSR 

pub const DEBUG_DATA_SPACE_MSR: u32 = 4u32;