} framebuffer;
static grub_uint32_t initial_vbe_mode;
-static grub_uint32_t vbe_mode_in_use = 0x55aa;
static grub_uint16_t *vbe_mode_list;
static void *
grub_err_t
grub_vbe_set_video_mode (grub_uint32_t vbe_mode,
- struct grub_vbe_mode_info_block *vbe_mode_info)
+ struct grub_vbe_mode_info_block *vbe_mode_info)
{
grub_vbe_status_t status;
grub_uint32_t old_vbe_mode;
+ struct grub_vbe_mode_info_block new_vbe_mode_info;
grub_err_t err;
/* Make sure that VBE is supported. */
return grub_errno;
/* Try to get mode info. */
- grub_vbe_get_video_mode_info (vbe_mode, &active_vbe_mode_info);
+ grub_vbe_get_video_mode_info (vbe_mode, &new_vbe_mode_info);
if (grub_errno != GRUB_ERR_NONE)
return grub_errno;
vbe_mode |= 1 << 14;
/* Determine frame buffer pixel format. */
- switch (active_vbe_mode_info.memory_model)
+ switch (new_vbe_mode_info.memory_model)
{
case GRUB_VBE_MEMORY_MODEL_PACKED_PIXEL:
framebuffer.index_color_mode = 1;
default:
return grub_error (GRUB_ERR_NOT_IMPLEMENTED_YET,
"unsupported pixel format 0x%x",
- active_vbe_mode_info.memory_model);
+ new_vbe_mode_info.memory_model);
}
}
/* Save information for later usage. */
framebuffer.active_vbe_mode = vbe_mode;
+ grub_memcpy (&active_vbe_mode_info, &new_vbe_mode_info, sizeof (active_vbe_mode_info));
if (vbe_mode < 0x100)
{
}
else
{
- framebuffer.ptr = (grub_uint8_t *) active_vbe_mode_info.phys_base_addr;
+ framebuffer.ptr = (grub_uint8_t *) new_vbe_mode_info.phys_base_addr;
if (controller_info.version >= 0x300)
- framebuffer.bytes_per_scan_line = active_vbe_mode_info.lin_bytes_per_scan_line;
+ framebuffer.bytes_per_scan_line = new_vbe_mode_info.lin_bytes_per_scan_line;
else
- framebuffer.bytes_per_scan_line = active_vbe_mode_info.bytes_per_scan_line;
+ framebuffer.bytes_per_scan_line = new_vbe_mode_info.bytes_per_scan_line;
}
/* Check whether mode is text mode or graphics mode. */
- if (active_vbe_mode_info.memory_model == GRUB_VBE_MEMORY_MODEL_TEXT)
+ if (new_vbe_mode_info.memory_model == GRUB_VBE_MEMORY_MODEL_TEXT)
{
/* Text mode. */
/* Graphics mode. */
/* Calculate bytes_per_pixel value. */
- switch(active_vbe_mode_info.bits_per_pixel)
+ switch(new_vbe_mode_info.bits_per_pixel)
{
case 32: framebuffer.bytes_per_pixel = 4; break;
case 24: framebuffer.bytes_per_pixel = 3; break;
/* Copy mode info for caller. */
if (vbe_mode_info)
- grub_memcpy (vbe_mode_info, &active_vbe_mode_info, sizeof (*vbe_mode_info));
+ grub_memcpy (vbe_mode_info, &new_vbe_mode_info, sizeof (*vbe_mode_info));
return GRUB_ERR_NONE;
}
grub_err_t err;
/* If this fails, then we have mode selection heuristics problem,
or adapter failure. */
- grub_vbe_set_video_mode (best_vbe_mode, &active_vbe_mode_info);
+ /* grub_vbe_set_video_mode already sets active_vbe_mode_info. */
+ grub_vbe_set_video_mode (best_vbe_mode, NULL);
if (grub_errno != GRUB_ERR_NONE)
return grub_errno;
- /* Now we are happily in requested video mode. Cache some info
- in order to fasten later operations. */
- vbe_mode_in_use = best_vbe_mode;
-
/* Fill mode info details. */
framebuffer.mode_info.width = active_vbe_mode_info.x_resolution;
framebuffer.mode_info.height = active_vbe_mode_info.y_resolution;