Searched refs:ivctname (Results 1 – 1 of 1) sorted by relevance
825 char ivctname[80]; in init_idt() local856 (void) snprintf(ivctname, sizeof (ivctname), in init_idt()858 ivctptr = (void (*)(void))kobj_getsymvalue(ivctname, 0); in init_idt()860 panic("kobj_getsymvalue(%s) failed", ivctname); in init_idt()