Really make it safe to call printf() from any context.
[pintos-anon] / src / lib / string.c
2004-09-06 Ben PfaffRename printk() to printf().