src/system/boot/platform/bios_ia32/debug.cpp

112

dprintf_args(format, args);

src/system/boot/platform/bios_ia32/debug.cpp

129

dprintf_args(format, args);

src/system/boot/platform/efi/debug.cpp

60

dprintf_args(format, args);

src/system/boot/platform/openfirmware/debug.cpp

65

dprintf_args(format, args);

src/system/boot/platform/riscv/debug.cpp

38

dprintf_args(format, args);

src/system/boot/platform/riscv/debug.cpp

51

dprintf_args(format, args);

src/system/kernel/debug/debug.cpp

2156

dprintf_args(format, args, true);

src/system/kernel/debug/debug.cpp

2167

dprintf_args(format, args, true);

src/system/kernel/debug/debug.cpp

2180

dprintf_args(format, args, false);