HomeSort by: relevance | last modified time | path
    Searched defs:ddb_vec (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/amd64/amd64/
db_interface.c 97 int ddb_vec; variable in typeref:typename:int
122 ddb_vec = idt_vec_alloc(iv, 0xf0, 0xff);
123 KASSERT(ddb_vec > 0);
124 set_idtgate(&idt[ddb_vec], handler, 1, SDT_SYS386IGT, SEL_KPL,
143 if (ddb_vec == 0)
157 if (ddb_vec != 0)
158 x86_ipi(ddb_vec, LAPIC_DEST_ALLEXCL,
  /src/sys/arch/i386/i386/
db_interface.c 99 int ddb_vec; variable in typeref:typename:int
125 ddb_vec = idt_vec_alloc(iv, 0xf0, 0xff);
126 KASSERT(ddb_vec > 0);
127 idt_vec_set(iv, ddb_vec, handler);
145 if (ddb_vec == 0)
159 x86_ipi(ddb_vec, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);

Completed in 13 milliseconds