hvc_instantiate(*vtermno, num_found); 
hvc_instantiate(*vtermno, num_found, &hvc_get_put_ops); 
static int hvc_find_vtys(void){	struct device_node *vty;	int num_found = 0;	for (vty = of_find_node_by_name(NULL, "vty"); vty != NULL;			vty = of_find_node_by_name(vty, "vty")) {		uint32_t *vtermno;		/* We have statically defined space for only a certain number		 * of console adapters.		 */		if (num_found >= MAX_NR_HVC_CONSOLES)			break;		vtermno = (uint32_t *)get_property(vty, "reg", NULL);		if (!vtermno)			continue;		if (device_is_compatible(vty, "hvterm1")) {			hvc_instantiate(*vtermno, num_found);			++num_found;		}	}	return num_found;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/030ffad23fb28fc29608a3bc21f0c3b88bf28592/hvc_vio.c/buggy/drivers/char/hvc_vio.c