KMDB_PROM_READBUF_SIZE
n = MIN(KMDB_PROM_READBUF_SIZE - kmdb_prom_readbuf_tail, len);
KMDB_PROM_READBUF_SIZE;
KMDB_PROM_READBUF_SIZE;
left = KMDB_PROM_READBUF_SIZE - kmdb_prom_readbuf_head;
KMDB_PROM_READBUF_SIZE;
KMDB_PROM_READBUF_SIZE;
static char kmdb_prom_readbuf[KMDB_PROM_READBUF_SIZE];