windows::Wdk::System::SystemServices

Constant PDE_TOP

pub const PDE_TOP: u32 = 3224375295u32;