*/
#ifndef USE_HOSTCC
-#include <common.h>
+#include <display_options.h>
+#include <log.h>
+#include <linux/string.h>
#else
#include <string.h>
#endif
static void debug_print_vector(char *name, u32 num_bytes, u8 *data)
{
#ifdef DEBUG
- printf("%s [%d] @0x%08x", name, num_bytes, (u32)data);
+ printf("%s [%d] @0x%p", name, num_bytes, data);
print_buffer(0, data, 1, num_bytes, 16);
#endif
}