Widen the mynewt pointer prints so they build on a 64 bit native BSP

Author: aidangarske

mynewt/client-tls-mn.c

@@ -24,6 +24,7 @@
 
 #include <hal/hal_gpio.h>
 #include <hal/hal_flash.h>
+#include <stdint.h>
 #include <console/console.h>
 
 #include <log/log.h>
@@ -120,12 +121,12 @@ static const oc_handler_t omgr_oc_handler = {
 
 static void net_test_readable(void *arg, int err)
 {
-    console_printf("net_test_readable %x - %d\n", (int)arg, err);
+    console_printf("net_test_readable %lx - %d\n", (unsigned long)(uintptr_t)arg, err);
 }
 
 static void net_test_writable(void *arg, int err)
 {
-    console_printf("net_test_writable %x - %d\n", (int)arg, err);
+    console_printf("net_test_writable %lx - %d\n", (unsigned long)(uintptr_t)arg, err);
 }
 
 static const union mn_socket_cb net_test_cbs = {
@@ -135,7 +136,8 @@ static const union mn_socket_cb net_test_cbs = {
 
 static int net_test_newconn(void *arg, struct mn_socket *new)
 {
-    console_printf("net_test_newconn %x - %x\n", (int)arg, (int)new);
+    console_printf("net_test_newconn %lx - %lx\n", (unsigned long)(uintptr_t)arg,
+      (unsigned long)(uintptr_t)new);
     mn_socket_set_cbs(new, NULL, &net_test_cbs);
     net_test_socket2 = new;
     return 0;
@@ -161,12 +163,12 @@ net_cli(int argc, char **argv)
     }
     if (!strcmp(argv[1], "udp")) {
         rc = mn_socket(&net_test_socket, MN_PF_INET, MN_SOCK_DGRAM, 0);
-        console_printf("mn_socket(UDP) = %d %x\n", rc,
-          (int)net_test_socket);
+        console_printf("mn_socket(UDP) = %d %lx\n", rc,
+          (unsigned long)(uintptr_t)net_test_socket);
     } else if (!strcmp(argv[1], "tcp")) {
         rc = mn_socket(&net_test_socket, MN_PF_INET, MN_SOCK_STREAM, 0);
-        console_printf("mn_socket(TCP) = %d %x\n", rc,
-          (int)net_test_socket);
+        console_printf("mn_socket(TCP) = %d %lx\n", rc,
+          (unsigned long)(uintptr_t)net_test_socket);
     } else if (!strcmp(argv[1], "connect") || !strcmp(argv[1], "bind")) {
         char *addrStr = DEFAULT_IPADDR;
         int port = DEFAULT_PORT;