Constant KEXEC_ARCH_MASK 

pub const KEXEC_ARCH_MASK: c_int = 0xffff0000;