Searched refs:db_switch_cpu_cmd (Results 1 – 2 of 2) sorted by relevance
15 void db_switch_cpu_cmd(db_expr_t, bool, db_expr_t, const char *);
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) in db_switch_cpu_cmd() function