On Thu, 24 May 2007, Linus Torvalds wrote: > I'm going to change that "BUG:" to "WARNING:". Good. I wondered for a long time why a "WARN_xxx ... " does print BUG: xxx.