Constant DEBUG_DATA_PteBase

pub const DEBUG_DATA_PteBase: u32 = 864u32;