Constant xen_sys::__HYPERVISOR_update_va_mapping

pub const __HYPERVISOR_update_va_mapping: u32 = 14;