Constant xen_sys::__HYPERVISOR_mmuext_op

pub const __HYPERVISOR_mmuext_op: u32 = 26;