Constant xen_sys::XEN_PAGE_SHIFT

source · [−]
pub const XEN_PAGE_SHIFT: u32 = 12;