Home
last modified time | relevance | path

Searched refs:idt_config (Results 1 – 1 of 1) sorted by relevance

/Zephyr-Core-2.7.6/arch/x86/
Dgen_idt.py86 def create_idt_binary(idt_config, filename): argument
88 for handler, tss, dpl in idt_config: