Make glibc's printf with a vcore-ctx aware (XCC)
[akaros.git] / user / parlib / ucq.c
index 1c29107..8d0551f 100644 (file)
 #include <parlib/ucq.h>
 #include <parlib/spinlock.h>
 #include <sys/mman.h>
-#include <assert.h>
+#include <parlib/assert.h>
 #include <stdio.h>
 #include <stdlib.h>
-#include <parlib/rassert.h> /* for the static_assert() */
 #include <parlib/vcore.h>
+#include <parlib/ros_debug.h> /* for printd() */
 
 /* Initializes a ucq.  You pass in addresses of mmaped pages for the main page
  * (prod_idx) and the spare page.  I recommend mmaping a big chunk and breaking
@@ -32,7 +32,7 @@ void ucq_init_raw(struct ucq *ucq, uintptr_t pg1, uintptr_t pg2)
        ucq->prod_overflow = FALSE;
        atomic_set(&ucq->nr_extra_pgs, 0);
        atomic_set(&ucq->spare_pg, pg2);
-       static_assert(sizeof(struct spin_pdr_lock) <= sizeof(ucq->u_lock));
+       parlib_static_assert(sizeof(struct spin_pdr_lock) <= sizeof(ucq->u_lock));
        spin_pdr_init((struct spin_pdr_lock*)(&ucq->u_lock));
        ucq->ucq_ready = TRUE;
 }