int hvc_instantiate(uint32_t vtermno, int index) 
int hvc_instantiate(uint32_t vtermno, int index, struct hv_ops *ops) 
int hvc_instantiate(uint32_t vtermno, int index){	struct hvc_struct *hp;	if (index < 0 || index >= MAX_NR_HVC_CONSOLES)		return -1;	if (vtermnos[index] != -1)		return -1;	/* make sure no no tty has been registerd in this index */	hp = hvc_get_by_index(index);	if (hp) {		kobject_put(&hp->kobj);		return -1;	}	vtermnos[index] = vtermno;	/* reserve all indices upto and including this index */	if (last_hvc < index)		last_hvc = index;	/* if this index is what the user requested, then register	 * now (setup won't fail at this point).  It's ok to just	 * call register again if previously .setup failed.	 */	if (index == hvc_con_driver.index)		register_console(&hvc_con_driver);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/030ffad23fb28fc29608a3bc21f0c3b88bf28592/hvc_console.c/buggy/drivers/char/hvc_console.c