db_mach_halt
db_mach_halt(db_expr_t addr, bool have_addr, db_expr_t count,
db_mach_halt(db_expr_t addr, bool have_addr, db_expr_t count, const char *modif)