kern/evcnt: new evcnt_add function

1 files changed, 12 insertions, 0 deletions

diff --git a/kern/evcnt.h b/kern/evcnt.h
index a6caf96b..f585fad0 100644
--- a/kern/evcnt.h
+++ b/kern/evcnt.h
@@ -65,6 +65,18 @@ evcnt_inc(struct evcnt *evcnt)
 }
 
 /*
+ * Batched increment.
+ *
+ * It is the responsibility of the caller to synchronize access to the
+ * counter.
+ */
+static inline void
+evcnt_add(struct evcnt *evcnt, unsigned long long delta)
+{
+    evcnt->count += delta;
+}
+
+/*
  * Obtain the current value of the given counter.
  *
  * Since counters are 64-bits wide, retrieving them on 32-bits systems might