printf("OpenFrameBuffer: about to ioctl()\n");
static int OpenFrameBuffer(device, screen)    char		*device;	/* e.g. "/dev/ttyE0" */    int			screen;    	/* what screen am I going to be */{    int			ret = TRUE;    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 {printf("OpenFrameBuffer: about to ioctl()\n");	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; 	}printf("fbtype = %d, fb_cmsize = 0x%x\n", alphaFbs[screen].info.fb_type, alphaFbs[screen].info.fb_cmsize);	if (ret) {	    if (alphaFbs[screen].info.fb_type >= FBTYPE_LASTPLUSONE || 		!alphaFbData[alphaFbs[screen].info.fb_type].init) {		    Error("frame buffer type not supported");		    (void) close(alphaFbs[screen].fd);		    alphaFbs[screen].fd = -1;		    ret = FALSE;	    }	}    }    if (!ret)	alphaFbs[screen].fd = -1;    return ret;}