pub const DEBUG_DATA_KPCR_OFFSET: u32 = 0u32;