Constant __HYPERVISOR_get_debugreg

Source
pub const __HYPERVISOR_get_debugreg: u32 = 9;