+#else
+
+/* If dv-sockser isn't available, provide stub functions. */
+
+STATIC_INLINE int
+dv_sockser_status (SIM_DESC sd)
+{
+ return (DV_SOCKSER_INPUT_EMPTY |
+ DV_SOCKSER_OUTPUT_EMPTY |
+ DV_SOCKSER_DISCONNECTED);
+}
+
+STATIC_INLINE int
+dv_sockser_write (SIM_DESC sd, unsigned char c)
+{
+ return -1;
+}
+
+STATIC_INLINE int
+dv_sockser_write_buffer (SIM_DESC sd, const unsigned char *buffer,
+ unsigned nr_bytes)
+{
+ return -1;
+}
+
+STATIC_INLINE int
+dv_sockser_read (SIM_DESC sd)
+{
+ return -1;
+}
+
+#endif /* HAVE_DV_SOCKSER */
+