#include "config.h"
#endif
-#include "replacements.h"
#include "log.h"
#include "trace.h"
#include "target.h"
-#include "command.h"
-
-#include <stdlib.h>
-#include <string.h>
-#include <inttypes.h>
int trace_point(target_t *target, u32 number)
{
for (i = 0; i < trace->num_trace_points; i++)
{
- command_print(cmd_ctx, "trace point 0x%8.8x (%"PRIi64" times hit)",
+ command_print(cmd_ctx, "trace point 0x%8.8x (%lld times hit)",
trace->trace_points[i].address,
trace->trace_points[i].hit_counter);
}