fprintf(stderr, "open frame buffer (%s), ret = %d\n", device, ret);
static int OpenFrameBuffer(device, screen)    char		*device;	/* e.g. "/dev/ttyE0" */    int			screen;    	/* what screen am I going to be */{    int			ret = TRUE;#ifdef USE_WSCONS    struct		wsdisplay_fbinfo info;    int			type;#endif    alphaFbs[screen].fd = -1;    if (access (device, R_OK | W_OK) == -1)	return FALSE;    if ((alphaFbs[screen].fd = open(device, O_RDWR, 0)) == -1)	ret = FALSE;    else {#ifdef USE_WSCONS	if (ioctl(alphaFbs[screen].fd, WSDISPLAYIO_GTYPE, &type) == -1) {		Error("unable to get frame buffer type");		(void) close(alphaFbs[screen].fd);		alphaFbs[screen].fd = -1;		ret = FALSE; 	}	if (ioctl(alphaFbs[screen].fd, WSDISPLAYIO_GINFO,	    &info) == -1) {fprintf(stderr, "Huh?\n");		Error("unable to get frame buffer info");		(void) close(alphaFbs[screen].fd);		alphaFbs[screen].fd = -1;		ret = FALSE; 	}	alphaFbs[screen].info.fb_type = type - 1;	alphaFbs[screen].info.fb_height = info.height;	alphaFbs[screen].info.fb_width = info.width;	alphaFbs[screen].info.fb_depth = info.depth;	alphaFbs[screen].info.fb_cmsize = info.cmsize;	if (alphaFbs[screen].info.fb_depth == 32)		alphaFbs[screen].info.fb_size = 16*1024*1024; /* XXXNJW */	else		alphaFbs[screen].info.fb_size = 4*1024*1024;#else	if (ioctl(alphaFbs[screen].fd, FBIOGTYPE,	    &alphaFbs[screen].info) == -1) {		Error("unable to get frame buffer type");		(void) close(alphaFbs[screen].fd);		alphaFbs[screen].fd = -1;		ret = FALSE; 	}#endif	if (ret) {	    if (alphaFbs[screen].info.fb_type >= FBTYPE_LASTPLUSONE || 		!alphaFbData[alphaFbs[screen].info.fb_type].init) {fprintf(stderr, "Huh2?\n");		    Error("frame buffer type not supported");		    (void) close(alphaFbs[screen].fd);		    alphaFbs[screen].fd = -1;		    ret = FALSE;	    }	}    }    if (!ret)	alphaFbs[screen].fd = -1;fprintf(stderr, "open frame buffer (%s), ret = %d\n", device, ret);    return ret;}