Searched refs:vstart_idt (Results 1 – 1 of 1) sorted by relevance
576 x86_64_desc_register_t vstart_idt = { in vstart_idt_init() local584 lidt((void *)&vstart_idt); in vstart_idt_init()