arch/x86_64/irq.c

437         printk(LOG_WARN, "unhandled IRQ %d\n", irq);
444         printk(LOG_WARN, "receiver type > %d, %d, assume unhandled\n", ObjType_Num, cap->type);
464             printk(LOG_WARN, "%.*s: IRQ message buffer overflow on IRQ %d\n",
467             printk(LOG_ERR, "Unexpected error delivering IRQ\n");
488     printk(LOG_WARN, "irq_table_alloc is deprecated\n");
521         printk(LOG_WARN, "irq: vec_hint not supported on x86\n");
560         //printk(LOG_NOTE, "irq: Allocated cap for vec: %d\n", i);
599     //printk(LOG_NOTE, "irq: connected vec: %"PRIu64"\n", dest_vec);
608     printk(LOG_ERR, "Used deprecated irq_table_set. Not setting interrupt\n");
614     printk(LOG_ERR, "Used deprecated irq_table_delete. Not setting interrupt\n");
630                     printk(LOG_DEBUG, "%.*s: IRQ message buffer overflow\n",
633                     printk(LOG_ERR, "Unexpected error delivering IRQ\n");
662     printk(LOG_PANIC, "exception %d (error code 0x%lx): ", (int)vec, error);
786             printk(LOG_WARN, "user page fault%s in '%.*s': addr %lx IP %lx SP %lx "
803         printk(LOG_WARN, "NMI - ignoring\n");
810         printk(LOG_WARN, "FPU error%s in '%.*s': IP %" PRIxPTR " FPU status %x\n",
820         printk(LOG_WARN, "user trap #%d: %s%s in '%.*s': IP %lx, error %lx\n",
840         printk(LOG_WARN, "generic_handle_user_exception: too many faults, "
850         printk(LOG_WARN, "no suitable handler for this type of fault, "
895             //printk(LOG_NOTE, "switching from kcb(%p) to kcb(%p)\n", kcb_current, kcb_current->next);
942         printk(LOG_ERR, "APIC error interrupt fired!\n");
963         printk(LOG_DEBUG, "spurious interrupt\n");
968      printk(LOG_NOTE, "got interrupt %d!\n", irq);
980                     printk(LOG_NOTE, "spurious interrupt (IRQ %d)\n", irq);
982                     printk(LOG_NOTE, "IRQ %d reported on wrong vector (%d)\n",
992         //printk(LOG_NOTE, "interrupt %d vector %d!\n", irq, vector);