Searched refs:ivctptr (Results 1 – 1 of 1) sorted by relevance
1035 void (*ivctptr)(void); in init_idt() local1060 ivctptr = (void (*)(void))kobj_getsymvalue(ivctname, 0); in init_idt()1061 if (ivctptr == NULL) in init_idt()1064 set_gatesegd(&idt[i], ivctptr, KCS_SEL, SDT_SYSIGT, TRP_KPL, 0); in init_idt()