Searched refs:idt_config (Results 1 – 1 of 1) sorted by relevance
86 def create_idt_binary(idt_config, filename): argument88 for handler, tss, dpl in idt_config: