fb_dump_mode_info
void fb_dump_mode_info(char *driver, video_adapter_t *adp,
fb_dump_mode_info(VGA_DRIVER_NAME, adp, &bios_vmode[i], level);
fb_dump_mode_info(VGA_DRIVER_NAME, adp, &info, level);