Lines Matching defs:vec
560 //printk(LOG_NOTE, "irq: Allocated cap for vec: %d\n", i);
599 //printk(LOG_NOTE, "irq: connected vec: %"PRIu64"\n", dest_vec);
645 * \param vec Vector number of exception
650 void generic_handle_kernel_exception(uint64_t vec, uint64_t error,
656 if (vec == 666) {
660 assert(vec < NEXCEPTIONS);
662 printk(LOG_PANIC, "exception %d (error code 0x%lx): ", (int)vec, error);
664 if (vec == ia32_vec_pf) {
677 } else if ((descr = ia32_exc_vec_describe(vec))) {
726 gdb_handle_exception(vec, gdb_save_frame);
748 * \param vec Vector number of exception
755 void generic_handle_user_exception(int vec, uint64_t error,
766 assert(vec < NEXCEPTIONS);
778 if (vec == IDT_PF) { // Page fault
802 } else if (vec == IDT_NMI) {
805 } else if (vec == IDT_MF) {
815 param = vec;
816 } else if (vec == IDT_MC) {
821 vec, idt_descs[vec], disabled ? " WHILE DISABLED" : "",
825 if (vec == IDT_DB) { // debug exception: just continue
834 param = vec;