+ int s, i, j;
+ char *env;
+ unsigned short *sptr, *dptr;
+
+ if((env = getenv("FBSCALE")) && (s = atoi(env))) {
+ fbscale = s;
+ printf("Framebuffer scaling x%d\n", fbscale);
+ }
+
+ xsz = fb_width * fbscale;
+ ysz = fb_height * fbscale;
+
+ /* allocate 1 extra row as a guard band, until we fucking fix the rasterizer */
+ if(!(fb_pixels = malloc(fb_width * (fb_height + 1) * fb_bpp / CHAR_BIT))) {
+ fprintf(stderr, "failed to allocate virtual framebuffer\n");
+ return 1;
+ }
+ vmem_front = vmem_back = fb_pixels;