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