Searched refs:xen_idt_write (Results 1 – 3 of 3) sorted by relevance
69 xen_idt_write(idt, vec); in kdi_idtr_write()83 xen_idt_write(gate, vec); in kdi_idt_write()
442 xen_idt_write(gate_desc_t *sgd, uint_t vec) in xen_idt_write() function973 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()
415 extern void xen_idt_write(gate_desc_t *, uint_t);