Home
last modified time | relevance | path

Searched refs:xen_idt_write (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/i86xpv/os/
H A Dmach_kdi.c69 xen_idt_write(idt, vec); in kdi_idtr_write()
83 xen_idt_write(gate, vec); in kdi_idt_write()
/illumos-gate/usr/src/uts/intel/os/
H A Ddesctbls.c442 xen_idt_write(gate_desc_t *sgd, uint_t vec) in xen_idt_write() function
973 xen_idt_write(&idt0[vec], vec); in init_desctbls()
1136 xen_idt_write(&idt[brand_tbl[i].ih_inum], in brand_interpositioning_enable()
1191 xen_idt_write(&idt[brand_tbl[i].ih_inum], in brand_interpositioning_disable()
/illumos-gate/usr/src/uts/intel/sys/
H A Dsegments.h415 extern void xen_idt_write(gate_desc_t *, uint_t);