kstdio.h 532 B

12345678910111213141516171819202122
  1. /*
  2. * Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #pragma once
  7. #include <AK/StringView.h>
  8. #include <AK/Types.h>
  9. extern "C" {
  10. void dbgputch(char);
  11. void dbgputstr(const char*, size_t);
  12. void kernelputstr(const char*, size_t);
  13. void kernelcriticalputstr(const char*, size_t);
  14. int snprintf(char* buf, size_t, const char* fmt, ...) __attribute__((format(printf, 3, 4)));
  15. void set_serial_debug(bool on_or_off);
  16. int get_serial_debug();
  17. }
  18. void dbgputstr(StringView view);