Fix PRINTF_ARGS Coverity issues

Fixes:

test/acl_event_test.cpp:903:27:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_event_test.cpp:903:27:
  invalid_type: Argument "queued_times[i]" to format specifier "%d" was expected to have type "int" but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]

test/acl_event_test.cpp:903:44:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_event_test.cpp:903:44:
  invalid_type: Argument "submit_times[i]" to format specifier "%d" was expected to have type "int" but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]

test/acl_event_test.cpp:903:61:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_event_test.cpp:903:61:
  invalid_type: Argument "start_times[i]" to format specifier "%d" was expected to have type "int" but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]

test/acl_event_test.cpp:904:27:
  Type: Invalid type in argument to printf format specifier (PRINTF_ARGS)

test/acl_event_test.cpp:904:27:
  invalid_type: Argument "end_times[i]" to format specifier "%d" was expected to have type "int" but has type "unsigned long".
src/acl_hal.cpp:123:3:
  path: Condition "debug_mode > 0", taking true branch.
src/acl_hal.cpp:126:5:
  printf_function: Calling "vprintf" which uses a "printf"-style format string. [Note: The source code implementation of the function has been overridden by a builtin model.]

Author: IlanTruanovsky

test/acl_event_test.cpp

@@ -24,6 +24,8 @@
 #include <acl_util.h>
 #include <unref.h>
 
+#include <inttypes.h>
+
 #include "acl_test.h"
 
 MT_TEST_GROUP(acl_event) {
@@ -899,8 +901,9 @@ MT_TEST(acl_event_default_config, event_dependency_exec_order) {
       // Internally consistent event profile.
       // Recall the example HAL bumps up the timestamp on every call.
       CHECK(queued_times[i] < submit_times[i]);
-      acl_print_debug_msg(" Event[%d] times = { %d %d %d %d }\n", i,
-                          queued_times[i], submit_times[i], start_times[i],
+      acl_print_debug_msg(" Event[%d] times = { %" PRIu64 " %" PRIu64
+                          " %" PRIu64 " %" PRIu64 " }\n",
+                          i, queued_times[i], submit_times[i], start_times[i],
                           end_times[i]);
       CHECK(submit_times[i] < start_times[i]);
       CHECK(start_times[i] < end_times[i]);