Constant xen::platform::consts::PAGE_PSE

pub const PAGE_PSE: usize = 0x080;