Searched defs:idt (Results 1 – 2 of 2) sorted by relevance
97 idt_entry_t *idt = &boot_idt[vector]; in handle_external_interrupt() local
64 idt_entry_t *idt; in setup_amd_sev_es() local