Fix Xaos port

ports/xaos/nacl-ui-driver/ui_nacl.c

 /*
  * Copyright (c) 2011 The Native Client Authors. All rights reserved.
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 #include "aconfig.h"
+#include "fconfig.h"
 
 #include "ui_nacl.h"
 
 /*includes */
 #include <ui.h>
+#include <stdarg.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
 
 char* getcwd(char* buf, size_t size) {
   NaClLog(LOG_INFO, "getcwd\n");
   strcpy(buf, "/tmp");
   return buf;
 }
 
 int kill() {
   NaClLog(LOG_INFO, "kill\n");
   return -1;
 }
 
+#ifdef NDEBUG
+static int log_level = LOG_INFO;
+#else
+static int log_level = LOG_TRACE;
+#endif
+
+void NaClLog(int level, char* fmt, ...) {
+  if (level > log_level)
+    return;
+  va_list ap;
+  va_start(ap, fmt);
+  vfprintf(stderr, fmt, ap);
+  va_end(ap);
+}
+
 struct {
   void* buffers[2];
   int current_buffer;
 } VideoBuffers;
 
 static void nacl_setpalette(ui_palette pal, int start, int end) {
   NaClLog(LOG_INFO, "nacl_setpalette\n");
 }
 
 static void nacl_print(int x, int y, CONST char* text) {
   if (text[0]) {
     NaClLog(LOG_INFO, "nacl_print [%s]\n", text);
   }
 }
 
 static void nacl_flush(void) {
   void* data = VideoBuffers.buffers[VideoBuffers.current_buffer];
-  NaClLog(LOG_INFO, "nacl_flush %d %p\n", VideoBuffers.current_buffer, data);
+  NaClLog(LOG_TRACE, "nacl_flush %d\n", VideoBuffers.current_buffer);
   if (!data)
     return;
-  CHECK(data != NULL);
   CopyImageDataToVideo(data);
 }
 
 static void nacl_display() {
-  NaClLog(LOG_INFO, "nacl_display\n");
+  NaClLog(LOG_TRACE, "nacl_display\n");
   nacl_flush();
 }
 
 static void nacl_flip_buffers() {
-  NaClLog(LOG_INFO, "nacl_flip_buffers\n");
+  NaClLog(LOG_TRACE, "nacl_flip_buffers\n");
   VideoBuffers.current_buffer ^= 1;
 }
 
 static void nacl_free_buffers(char* b1, char* b2) {
   NaClLog(LOG_INFO, "nacl_free_buffers\n");
 }
 
 static int nacl_alloc_buffers(char** b1, char** b2) {
   NaClLog(LOG_INFO, "nacl_alloc_buffers\n");
   const int image_byte_size = GetHeight() * GetWidth() * BYTES_PER_PIXEL;
@@ skipping 106 matching lines @@
     params,         /* params */
     0,              /* flags...see ui.h */
     0.0, 0.0,       /* width/height of screen in centimeters */
     0, 0,           /* resolution of screen for windowed systems */
     UI_TRUECOLOR,   /* Image type */
     0, 255, 255,    /* start, end of palette and maximum allocatable */
     0x00ff0000,     /* Rgb mask */
     0x0000ff00,     /* rGb mask */
     0x000000ff      /* rgB mask */
 };