pub const KERN_IA64_UNALIGNED: i32 = 72;