Constant LINUX_KERNEL_HRD_MAGIC 

pub const LINUX_KERNEL_HRD_MAGIC: u32 = 0x53726448;