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

  /src/sys/arch/i386/i386/
db_interface.c 96 extern void ddb_ipi_tss(struct i386tss *);
323 ddb_ipi_tss(struct i386tss *tss) function in typeref:typename:void

Completed in 21 milliseconds