Searched refs:debug_idt_table (Results 1 – 3 of 3) sorted by relevance
40 extern gate_desc debug_idt_table[];312 write_idt_entry(debug_idt_table, gate, &s); in set_nmi_gate()
73 gate_desc debug_idt_table[NR_VECTORS] __page_aligned_bss; variable900 memcpy(&debug_idt_table, &idt_table, IDT_ENTRIES * 16); in trap_init()
1145 (unsigned long) debug_idt_table };