BUFFERSIZE
buffer = (byte *) malloc(BUFFERSIZE);
bytesleft = BUFFERSIZE;
buf = malloc(BUFFERSIZE);
while ((nr = read(fdkernin, buf, BUFFERSIZE)) > 0) {
wl = BUFFERSIZE;
amt = MIN(uio->uio_resid, (BUFFERSIZE - vga_switcheroo_buf->len));
char msg[BUFFERSIZE + 1];
tibuflen = maxlen > BUFFERSIZE ? maxlen : BUFFERSIZE;
static char stdoutbuf[BUFFERSIZE];
setvbuf(stdout, stdoutbuf, _IOFBF, BUFFERSIZE);
setbuffer(stdout, stdoutbuf, BUFFERSIZE);