Searched refs:boot_idt_addr (Results 1 – 1 of 1) sorted by relevance
271 let boot_idt_addr = GuestAddress(BOOT_IDT_OFFSET); in write_idt_value() localVariable273 .write_obj_at_addr(val, boot_idt_addr) in write_idt_value()