Symbol: debug_early_boot_message
headers/private/kernel/debug.h
172
extern void debug_early_boot_message(const char *string);
src/system/kernel/arch/riscv64/arch_platform.cpp
30
debug_early_boot_message("machine_platform: ");
src/system/kernel/arch/riscv64/arch_platform.cpp
33
debug_early_boot_message("Native mmode hooks\n");
src/system/kernel/arch/riscv64/arch_platform.cpp
36
debug_early_boot_message("SBI\n");
src/system/kernel/arch/riscv64/arch_platform.cpp
39
debug_early_boot_message("?\n");
src/system/kernel/main.cpp
109
debug_early_boot_message("Version mismatch between boot loader and "