#0  0x00002b55b82919d6 in __svgalib_get_perm () at /build/buildd/usplash-0.5.5/svgalib/src/libvga.h:294
  [Error: /build/buildd/usplash-0.5.5/svgalib/src/libvga.h was not found in source tree]
#1  0x00002b55b8291b09 in vga_setchipset (c=19) at /build/buildd/usplash-0.5.5/svgalib/src/vga.c:1569
  [Error: /build/buildd/usplash-0.5.5/svgalib/src/vga.c was not found in source tree]
#2  0x00002b55b828a36f in usplash_svga_init () at usplash_svga.c:139
  134: int usplash_svga_init()
  135: {
  136: 	int rc = 0;
  137: 	int mode;
  138: 
  139: 	vga_setchipset(VESA);
  140: 
  141: 	usplash_save_font();
  142: 
  143: 	rc = vga_init();
  144: 
#3  0x00002b55b82886ba in usplash_init () at libusplash.c:193
  188: 	return usplash_operations->usplash_getfontwidth(c);
  189: }
  190: 
  191: int usplash_init()
  192: {
  193: 	return usplash_operations->usplash_init();
  194: }
  195: 
  196: int usplash_set_resolution(int x, int y)
  197: {
  198: 	return usplash_operations->usplash_set_resolution(x, y);
#4  0x00002b55b828903d in usplash_setup (xres=1024, yres=768, v=0) at libusplash.c:476
  471: 	}
  472: 
  473: 	ret = usplash_set_resolution(xres, yres);
  474: 	if (ret)
  475: 		return ret;
  476: 	ret = usplash_init();
  477: 	if (ret)
  478: 		return ret;
  479: 	/* usplash_init might have changed the resolution */
  480: 	usplash_getdimensions(&xres, &yres);
  481: 	usplash_xres = xres;
#5  0x00000000004011c0 in main (argc=6, argv=0x7ffff2a49788) at usplash.c:119
  114: 		perror("open");
  115: 		ret = 2;
  116: 		goto exit;
  117: 	}
  118: 
  119: 	if (usplash_setup(xres, yres, verbose)) {
  120: 		fprintf(stderr, "screen init failed\n");
  121: 		ret = 3;
  122: 		goto exit;
  123: 	}
  124: 
#6  0x00002b55b8510b44 in __libc_start_main () from /lib/libc.so.6
#7  0x0000000000400db9 in _start ()