printf_nolog
printf_nolog("%ld ",
printf_nolog("%s: mapping already present\n", __func__);
printf_nolog("%lu ", (unsigned long)
printf_nolog("%d ", n / (1024 * 1024));
printf_nolog("%d ", n / (1024 * 1024));
#define DPRINTF_PRINTF printf_nolog
#define DPRINTF_PRINTF printf_nolog
printf_nolog("%d ", n / (1024 * 1024));
printf_nolog("%lu ", (unsigned long)
printf_nolog("%ld ",
printf_nolog("%d: xcall %p at lvl %u from 0x%x\n",
printf_nolog("%s\n", errbuf);
printf_nolog("%d ", i / (1024*1024));
printf_nolog("\r%4d", todo);
printf_nolog("\r%4d", todo);
printf_nolog("\r%4d", todo);
printf_nolog("\r%4d", todo);
printf_nolog("\r%4d", todo);
printf_nolog("%s: pa %#" PRIxPADDR " for va %#" PRIxVADDR
printf_nolog("%s: mapping already present\n", __func__);
printf_nolog("%s", pbuf);
printf_nolog("%s\n", notice);
printf_nolog("kernel boot time: %"PRIu64"ms\n", boot_duration_timer());
printf_nolog("Detecting hardware...");
printf_nolog("Process (pid %d) got sig %d\n",
printf_nolog("issignal\n");
printf_nolog(" done.\n");
printf_nolog("%s", s);
void printf_nolog(const char *, ...) __printflike(1, 2);