pub const DEBUG_DATA_KiNormalSystemCall: u32 = 528u32;