if (co->index >= MAX_NR_HVC_CONSOLES) 
if (index >= MAX_NR_HVC_CONSOLES) 
void hvc_console_print(struct console *co, const char *b, unsigned count){	char c[16] __ALIGNED__;	unsigned i = 0, n = 0;	int r, donecr = 0;	/* Console access attempt outside of acceptable console range. */	if (co->index >= MAX_NR_HVC_CONSOLES)		return;	/* This console adapter was removed so it is not useable. */	if (vtermnos[co->index] < 0)		return;	while (count > 0 || i > 0) {		if (count > 0 && i < sizeof(c)) {			if (b[n] == '\n' && !donecr) {				c[i++] = '\r';				donecr = 1;			} else {				c[i++] = b[n++];				donecr = 0;				--count;			}		} else {			r = hvc_put_chars(vtermnos[co->index], c, i);			if (r < 0) {				/* throw away chars on error */				i = 0;			} else if (r > 0) {				i -= r;				if (i > 0)					memmove(c, c+r, i);			}		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/030ffad23fb28fc29608a3bc21f0c3b88bf28592/hvc_console.c/buggy/drivers/char/hvc_console.c