Searched refs:xen_idt_write (Results 1 – 3 of 3) sorted by relevance
71 xen_idt_write(idt, vec); in kdi_idtr_write()85 xen_idt_write(gate, vec); in kdi_idt_write()
455 xen_idt_write(gate_desc_t *sgd, uint_t vec) in xen_idt_write() function1203 xen_idt_write(&idt0[vec], vec); in init_desctbls()1321 xen_idt_write(&idt[brand_tbl[i].ih_inum], in brand_interpositioning_enable()1367 xen_idt_write(&idt[brand_tbl[i].ih_inum], in brand_interpositioning_disable()
418 extern void xen_idt_write(gate_desc_t *, uint_t);