Constant xen_sys::FIRST_RESERVED_GDT_PAGE

source · [−]
pub const FIRST_RESERVED_GDT_PAGE: u32 = 14;