x86: Panic if there is no x2APIC
[akaros.git] / kern / src / ucq.c
index e11c809..8b24b7d 100644 (file)
@@ -134,7 +134,7 @@ error_addr:
 void print_ucq(struct proc *p, struct ucq *ucq)
 {
        struct ucq_page *ucq_pg;
-       struct proc *old_proc = switch_to(p);
+       uintptr_t old_proc = switch_to(p);
 
        printk("UCQ %p\n", ucq);
        printk("prod_idx: %p, cons_idx: %p\n", atomic_read(&ucq->prod_idx),