From fd0ddca46c2fade6f002c4df3cf08870bec95a66 Mon Sep 17 00:00:00 2001
From: Stig Telfer <stig@telfer.org>
Date: Fri, 22 Jan 2016 11:25:19 +0000
Subject: [PATCH] Add cleanup function for platform_event on BSD systems

---
 src/bsd.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/bsd.c b/src/bsd.c
index 42495b0..4ec425f 100644
--- a/src/bsd.c
+++ b/src/bsd.c
@@ -94,6 +94,20 @@ kore_platform_event_init(void)
 	}
 }
 
+void
+kore_platform_event_cleanup(void)
+{
+	if (kfd >= 0) {
+		close(kfd);
+		kfd = -1;
+	}
+
+	if (events != NULL) {
+		kore_mem_free(events);
+		events = NULL;
+	}
+}
+
 int
 kore_platform_event_wait(u_int64_t timer)
 {