Constant xen_sys::MMUEXT_INVLPG_ALL

source · [−]
pub const MMUEXT_INVLPG_ALL: u32 = 11;