Constant sgx_libc::IPPROTO_ICMPV6

pub const IPPROTO_ICMPV6: i32 = 58;