Constant xen_sys::MMUEXT_FLUSH_CACHE_GLOBAL

source · [−]
pub const MMUEXT_FLUSH_CACHE_GLOBAL: u32 = 18;