Constant DEBUG_DATA_KeBugCheckCallbackListHeadAddr 

pub const DEBUG_DATA_KeBugCheckCallbackListHeadAddr: u32 = 128u32;