Constant TIOCPKT_IOCTL 

pub const TIOCPKT_IOCTL: c_int = 0x40;