Searched refs:ivctname (Results 1 – 1 of 1) sorted by relevance
1034 char ivctname[80]; in init_idt() local1059 (void) snprintf(ivctname, sizeof (ivctname), "ivct%d", i); in init_idt()1060 ivctptr = (void (*)(void))kobj_getsymvalue(ivctname, 0); in init_idt()1062 panic("kobj_getsymvalue(%s) failed", ivctname); in init_idt()