Searched refs:MAX_XEN_IDT (Results 1 – 1 of 1) sorted by relevance
45 #define MAX_XEN_IDT 128 macro85 KASSERT(xen_idt_idx < MAX_XEN_IDT); in lidt()