Fix Xaos port

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

 /*
  * 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.
  */
 
 #ifndef UI_NACL_H
 
 #include "ppapi/c/ppb_input_event.h"
 
@@ skipping 12 matching lines @@
 struct PpapiEvent {
   PP_InputEvent_Type type;
   PP_InputEvent_MouseButton button;
   struct PP_Point position;
   int clicks;
 };
 
 /* get next ppapi event to process, may block if wait == 1 */
 struct PpapiEvent* GetEvent(int wait);
 
-/* these headers need an sdk update before they can be used */
-#if 0
-#include <nacl/nacl_check.h>
-#include <nacl/nacl_log.h>
-#else
-#define CHECK(cond) do { if (!(cond)) {puts("ABORT: " #cond "\n"); abort();}} while(0)
-#define NaClLog(lev, ...)  fprintf(stderr, __VA_ARGS__)
-#endif
+#define CHECK(cond) do { \
+  if (!(cond)) { fputs("ABORT: " #cond "\n", stderr); abort(); } \
+} while(0)
+
+#define LOG_TRACE 3
+#define LOG_INFO  2
+#define LOG_ERROR 1
+#define LOG_FATAL 0
+
+void NaClLog(int level, char* fmt, ...);
 
 #endif /* UI_NACL_H */