Constant KERN_S390_USER_DEBUG_LOGGING 

pub const KERN_S390_USER_DEBUG_LOGGING: i32 = 51;