up64 1413 drivers/video/fbdev/amifb.c fsize = up64(xres_n + fconst - 1); up64 1417 drivers/video/fbdev/amifb.c fsize = up64(xres_n); up64 1616 drivers/video/fbdev/amifb.c fsize = up64(fsize);