Constant CR4_DEBUGGING_EXTENSIONS 

pub const CR4_DEBUGGING_EXTENSIONS: Field<u32, Register>;