x86_64::regs

Function write_idt_value

Source 
fn write_idt_value(val: u64, guest_mem: &GuestMemory) -> Result<()>