Lines Matching refs:vec
505 //printk(LOG_NOTE, "irq: Allocated cap for vec: %d\n", i);
544 //printk(LOG_NOTE, "irq: connected vec: %"PRIu64"\n", dest_vec);
590 * \param vec Vector number of exception
595 void generic_handle_kernel_exception(int vec, uint32_t error,
601 if (vec == 666) {
605 assert(vec < NEXCEPTIONS);
609 printk(LOG_PANIC, "exception %d (error code 0x%"PRIx32"): ", vec, error);
611 switch(vec) {
707 gdb_handle_exception(vec, (uintptr_t*)save_area);
733 * \param vec Vector number of exception
741 int vec, uint32_t error)
750 assert(vec < NEXCEPTIONS);
763 (fpu_dcb == dcb_current || vec == IDT_NM)) {
785 if (vec == IDT_PF) { // Page fault
805 } else if (vec == IDT_NM) {
829 param = vec;
831 } else if (vec == IDT_NMI) {
834 } else if (vec == IDT_MF) {
844 param = vec;
848 vec, DISP_NAME_LEN, disp->name, eip, error);
850 if(vec != 1) {
855 param = vec;