K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2015-01-26T19:01:06.865506Z K 7 svn:log V 273 Avoid the lock in vtophys() by providing a static direct-mapped spinlock- protected output buffer to use when the console driver cannot acquire locks for some reason. This allows the idle thread to use printf() (e.g. the SMP startup messages) without crashing the kernel. END