Constant XEN_SYSCTL_debug_keys

pub const XEN_SYSCTL_debug_keys: u32 = 7;