Constant xen_sys::MMUEXT_TLB_FLUSH_LOCAL

pub const MMUEXT_TLB_FLUSH_LOCAL: u32 = 6;