X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=urcu-bp.c;h=4c0ab54a28e71b47947905d6f5f42354de0135cd;hp=80eaefe7ea78a35cd20d138bcb9ac6ebd08c31b4;hb=618b25958fec4d76310f0d9c59e42128e73a8719;hpb=71c811bf8db75c9502b295edb1e190f978682b65

diff --git a/urcu-bp.c b/urcu-bp.c
index 80eaefe..4c0ab54 100644
--- a/urcu-bp.c
+++ b/urcu-bp.c
@@ -39,6 +39,7 @@
 #include "urcu/wfqueue.h"
 #include "urcu/map/urcu-bp.h"
 #include "urcu/static/urcu-bp.h"
+#include "urcu-pointer.h"
 
 /* Do not #define _LGPL_SOURCE to ensure we can emit the wrapper symbols */
 #undef _LGPL_SOURCE
@@ -373,9 +374,10 @@ end:
 	assert(!ret);
 }
 
-void rcu_bp_exit()
+void rcu_bp_exit(void)
 {
-	munmap(registry_arena.p, registry_arena.len);
+	if (registry_arena.p)
+		munmap(registry_arena.p, registry_arena.len);
 }
 
 /*