/* find the first unallocated context number
                 * - 0 is reserved for the kernel
                 */
-               cxn = find_next_zero_bit(&cxn_bitmap, NR_CXN, 1);
+               cxn = find_next_zero_bit(cxn_bitmap, NR_CXN, 1);
                if (cxn < NR_CXN) {
-                       set_bit(cxn, &cxn_bitmap);
+                       set_bit(cxn, cxn_bitmap);
                }
                else {
                        /* none remaining - need to steal someone else's cxn */
                        cxn_pinned = -1;
 
                list_del_init(&ctx->id_link);
-               clear_bit(ctx->id, &cxn_bitmap);
+               clear_bit(ctx->id, cxn_bitmap);
                __flush_tlb_mm(ctx->id);
                ctx->id = 0;
        }