From 1bc9ea1caafa336354e55a29f72e50615b4ef1b3 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Sat, 25 Oct 2014 20:42:47 +0000
Subject: [PATCH] Use correct type in __DEVOLATILE().

---
 sys/kern/kern_umtx.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/sys/kern/kern_umtx.c b/sys/kern/kern_umtx.c
index 6b5056b1246..c815e361635 100644
--- a/sys/kern/kern_umtx.c
+++ b/sys/kern/kern_umtx.c
@@ -2895,7 +2895,8 @@ do_sem2_wake(struct thread *td, struct _usem2 *sem)
 		 */
 		if (cnt == 1) {
 			umtxq_unlock(&key);
-			count = fuword32(__DEVOLATILE(void *, &sem->_count));
+			count = fuword32(__DEVOLATILE(uint32_t *,
+			    &sem->_count));
 			while (count != -1 && count & USEM_HAS_WAITERS)
 				count = casuword32(&sem->_count, count,
 				    count & ~USEM_HAS_WAITERS);