Use uip-debug in ip64-ipv4-dhcp.c
#include <stdio.h>
+#define DEBUG DEBUG_NONE
+#include "net/ip/uip-debug.h"
+
PROCESS(ip64_ipv4_dhcp_process, "IPv4 DHCP");
uip_ipaddr_t uip_hostaddr; /* Needed because it is referenced by dhcpc.c */
@@ -48,7 +51,7 @@ uip_ipaddr_t uip_hostaddr; /* Needed because it is referenced by dhcpc.c */
void
ip64_ipv4_dhcp_init(void)
{
- printf("Starting DHCPv4\n");
+ printf("IP64: Starting DHCPv4\n");
process_start(&ip64_ipv4_dhcp_process, NULL);
}
/*---------------------------------------------------------------------------*/
@@ -58,10 +61,10 @@ PROCESS_THREAD(ip64_ipv4_dhcp_process, ev, data)
ip64_dhcpc_init(&ip64_eth_addr, sizeof(ip64_eth_addr));
- printf("Inited\n");
+ PRINTF("IP64: Inited\n");
ip64_dhcpc_request();
- printf("Requested\n");
+ PRINTF("IP64: Requested\n");
while(1) {
PROCESS_WAIT_EVENT();
@@ -78,7 +81,7 @@ void
ip64_dhcpc_configured(const struct ip64_dhcpc_state *s)
{
uip_ip6addr_t ip6dnsaddr;
- printf("DHCP Configured with %d.%d.%d.%d\n",
+ PRINTF("IP64: DHCP Configured with %d.%d.%d.%d\n",
s->ipaddr.u8[0], s->ipaddr.u8[1],
s->ipaddr.u8[2], s->ipaddr.u8[3]);
