Searched refs:write_idt_entry (Results 1 – 3 of 3) sorted by relevance
200 write_idt_entry(idt, t->vector, &desc); in idt_setup_from_table()
77 void (*write_idt_entry)(gate_desc *, member
1249 .write_idt_entry = xen_write_idt_entry,