S32G_WDT_DEFAULT_TIMEOUT
static unsigned int timeout_param = S32G_WDT_DEFAULT_TIMEOUT;
__MODULE_STRING(S32G_WDT_DEFAULT_TIMEOUT) ")");