Constant xen_sys::__HYPERVISOR_get_debugreg

pub const __HYPERVISOR_get_debugreg: u32 = 9;