Constant xen_sys::MMUEXT_MARK_SUPER

source · [−]
pub const MMUEXT_MARK_SUPER: u32 = 19;