Constant sgx_libc::IP_PKTINFO

pub const IP_PKTINFO: i32 = 8;