/* Changing to a different IDT is very rare: we keep the IDT up-to-date every time it is written, so we can simply loop through all entries and tell the Host about them.  */
static void lguest_load_idt(const struct desc_ptr *desc)
/* Changing to a different IDT is very rare: we keep the IDT up-to-date every time it is written, so we can simply loop through all entries and tell the Host about them.  */
static void lguest_load_idt(const struct desc_ptr *desc)
{
	unsigned int i;
	struct desc_struct *idt = (void *)desc->address;
	for (i = 0; i < (desc->size+1)/8; i++)
		kvm_hypercall3(LHCALL_LOAD_IDT_ENTRY, i, idt[i].a, idt[i].b);
}