Constant xen_sys::MMUEXT_INVLPG_LOCAL

source · [−]
pub const MMUEXT_INVLPG_LOCAL: u32 = 7;