PRINTKRB_RECORD_MAX
char scratchbuf[PRINTKRB_RECORD_MAX];
static char setup_text_buf[PRINTKRB_RECORD_MAX] __initdata;
if (reserve_size > PRINTKRB_RECORD_MAX)
reserve_size = PRINTKRB_RECORD_MAX;
if (prb_reserve_in_last(&e, prb, &r, caller_id, PRINTKRB_RECORD_MAX)) {
if (len > PRINTKRB_RECORD_MAX)