printline_kernelprintf
buffer = printline_kernelprintf(
struct buf_msg *printline_kernelprintf(const char*, char*, int, int);