Files
Sönke Holz 01297666e6 Kernel: Add 'pci_serial_debug' cmdline argument
Instead of always using PCI serial devices for console output, make them
usable for other purposes by only enabling kernel log output when
'pci_serial_debug' is passed.
2025-12-08 13:16:22 +01:00

25 lines
597 B
C

/*
* Copyright (c) 2018-2020, Andreas Kling <[email protected]>
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <AK/StringView.h>
#include <AK/Types.h>
extern "C" {
void dbgputstr(char const*, size_t);
void kernelputstr(char const*, size_t);
void kernelcriticalputstr(char const*, size_t);
void dbgputchar(char);
void kernelearlyputstr(char const*, size_t);
void set_serial_debug_enabled(bool desired_state);
void set_pci_serial_debug_enabled(bool desired_state);
bool is_serial_debug_enabled();
bool is_pci_serial_debug_enabled();
}
void dbgputstr(StringView view);