WDAT_DEFAULT_TIMEOUT
timeout, WDAT_DEFAULT_TIMEOUT);
timeout = WDAT_DEFAULT_TIMEOUT;
static int timeout = WDAT_DEFAULT_TIMEOUT;
__MODULE_STRING(WDAT_DEFAULT_TIMEOUT) ")");