Symbol: xen_idt_write
usr/src/uts/i86xpv/os/mach_kdi.c
69
xen_idt_write(idt, vec);
usr/src/uts/i86xpv/os/mach_kdi.c
83
xen_idt_write(gate, vec);
usr/src/uts/intel/os/desctbls.c
1136
xen_idt_write(&idt[brand_tbl[i].ih_inum],
usr/src/uts/intel/os/desctbls.c
1191
xen_idt_write(&idt[brand_tbl[i].ih_inum],
usr/src/uts/intel/os/desctbls.c
973
xen_idt_write(&idt0[vec], vec);
usr/src/uts/intel/sys/segments.h
415
extern void xen_idt_write(gate_desc_t *, uint_t);