Error("unable to get frame buffer info");
hpcError("unable to get frame buffer info");
OpenFrameBuffer(device, screen)    char		*device;	/* e.g. "/dev/ttyE0" */    int			screen;    	/* what screen am I going to be */{    int			ret = TRUE;    hpcFbs[screen].fd = -1;    if (access (device, R_OK | W_OK) == -1)	return FALSE;    if ((hpcFbs[screen].fd = open(device, O_RDWR, 0)) == -1)	ret = FALSE;    else {	int mode = WSDISPLAYIO_MODE_MAPPED;	if (ioctl(hpcFbs[screen].fd, WSDISPLAYIO_SMODE, &mode) == -1) {		Error("unable to set frame buffer mode");	}	if (ioctl(hpcFbs[screen].fd, WSDISPLAYIO_GINFO,	    &hpcFbs[screen].info) == -1) {		Error("unable to get frame buffer info");		(void) close(hpcFbs[screen].fd);		hpcFbs[screen].fd = -1;		ret = FALSE;	}    }    if (!ret)	hpcFbs[screen].fd = -1;    return ret;}