kernel/pid.c:next_free_map Pass 3rd arg to cmpxchg as pointer.

diff --git a/kernel/pid.c b/kernel/pid.c
index a33c469a9786d08d1bf1767a4128932a59aaa0c7..6823dc6e9ae1fb92c94d764f6df16d9696a4f92a 100644 (file)
--- a/kernel/pid.c
+++ b/kernel/pid.c
@@ -77,7 +77,7 @@ static inline pidmap_t *next_free_map(pidmap_t *map, int *max_steps)
                         * Free the page if someone raced with us
                         * installing it:
                         */
-                       if (cmpxchg(&map->page, NULL, page))
+                       if (cmpxchg(&map->page, NULL, (void *) page))
                                free_page(page);
                        if (!map->page)
                                break;