zircon/kernel/lib/userabi/userboot/util.h

// Copyright 2016 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#ifndef ZIRCON_KERNEL_LIB_USERABI_USERBOOT_UTIL_H_
#define ZIRCON_KERNEL_LIB_USERABI_USERBOOT_UTIL_H_

#include <stdarg.h>
#include <zircon/status.h>
#include <zircon/types.h>

// printl() is printf-like, understanding %s %p %d %u %x %zu %zd %zx.
// No other formatting features are supported.
void __PRINTFLIKE(2, 3) printl(zx_handle_t log, const char* fmt, ...);
void vprintl(zx_handle_t log, const char* fmt, va_list ap);

// fail() combines printl() with process exit
[[noreturn]] void __PRINTFLIKE(2, 3) fail(zx_handle_t log, const char* fmt, ...);

#define check(log, status, fmt, ...)                                      \
  do {                                                                    \
    if (status != ZX_OK)                                                  \
      fail(log, "%s: " fmt, zx_status_get_string(status), ##__VA_ARGS__); \
  } while (0)

#endif  // ZIRCON_KERNEL_LIB_USERABI_USERBOOT_UTIL_H_