ofprint
void ofprint(const char *, ...);
#define OFPRINTF ofprint
ofprint("WARNING: stdin is not a keyboard: %s\n", name);
ofprint("console keyboard type: ADB\n");
ofprint("console keyboard type: ADB\n");
ofprint("console keyboard type: PC Keyboard\n");
ofprint("ADB support found\n");
ofprint("No ADB support present, assuming USB "
ofprint("usb-kbd-ihandles matches\n");
ofprint("console keyboard type: USB\n");
ofprint("usb-kbd-ihandle matches\n");
ofprint("console keyboard type: USB\n");
ofprint("adb-kbd-ihandle matches\n");
ofprint("console keyboard type: ADB\n");
ofprint("defaulting to USB...");
ofprint("console keyboard type: USB\n");
ofprint("no console keyboard\n");
ofprint("Base addr of %llx or size of %llx too"
ofprint("Base addr of %llx or size of %llx too"
ofprint("WARNING: add memory segment %lx - %" PRIxPADDR ","
ofprint("no memory, assuming 512MB\n");
ofprint("No /chosen/mmu\n");
ofprint("No translations in /chosen/mmu\n");
#define DPRINTF ofprint
ofprint(FORMAT __VA_OPT__(,) __VA_ARGS__); \