--- xen-4.8.0/tools/xenstore/xenstored_domain.c.orig	2017-03-29 22:14:17.567582077 +0100
+++ xen-4.8.0/tools/xenstore/xenstored_domain.c	2017-03-29 22:19:42.851492159 +0100
@@ -946,7 +946,8 @@
 	      (long)domain->wrl_credit, (long)wrl_reserve);
 
 	if (domain->wrl_credit < 0) {
-		if (!domain->wrl_delay_logged++) {
+		if (!domain->wrl_delay_logged) {
+			domain->wrl_delay_logged = true;
 			WRL_LOG(now, "domain %ld is affected",
 				(long)domain->domid);
 		} else if (!wrl_log_last_warning) {