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

  /src/sys/arch/arm/include/arm32/
db_machdep.h 15 void db_switch_cpu_cmd(db_expr_t, bool, db_expr_t, const char *);
  /src/sys/arch/arm/arm32/
db_machdep.c 118 { DDB_ADD_CMD("cpu", db_switch_cpu_cmd, 0,
466 db_switch_cpu_cmd(db_expr_t addr, bool have_addr, db_expr_t count, const char *modif) function in typeref:typename:void

Completed in 12 milliseconds