if (last_hvc < index) last_hvc = index;
int hvc_instantiate(uint32_t vtermno, int index){	if (index < 0 || index >= MAX_NR_HVC_CONSOLES)		return -1;	if (vtermnos[index] != -1)		return -1;	vtermnos[index] = vtermno;	return 0;}