/* * Convert Linux TCP level socket option number to NetBSD values. */