Constant __X32_SYSCALL_BIT 

pub const __X32_SYSCALL_BIT: u32 = 1073741824;