Fork me on GitHub
simplechar         79 lib/printk.c   	char simplechar;
simplechar        263 lib/printk.c   					simplechar = va_arg(args, int);
simplechar        264 lib/printk.c   					*(buffer++) = simplechar;