# HG changeset 70 patch # User kfraser@localhost.localdomain # Date 1182364134 -3600 # Node ID db1ad4e3caf50efd45726d4b6e483869e20a8e51 # Parent 9f2badfda534e764a5c14291909595bbb8af2ee5 Subject: linux/x86: Obtain EDID info from Xen Signed-off-by: Jan Beulich Signed-off-by: Keir Fraser --- arch/i386/kernel/setup-xen.c | 5 ++++- arch/x86_64/kernel/setup-xen.c | 2 +- drivers/xen/core/firmware.c | 19 +++++++++++++++++++ include/xen/firmware.h | 2 ++ include/xen/interface/platform.h | 12 ++++++++++-- 5 files changed, 36 insertions(+), 4 deletions(-) --- a/arch/i386/kernel/setup-xen.c 2007-08-27 14:01:25.000000000 -0400 +++ b/arch/i386/kernel/setup-xen.c 2007-08-27 14:02:03.000000000 -0400 @@ -156,6 +156,9 @@ struct sys_desc_table_struct { }; struct edid_info edid_info; EXPORT_SYMBOL_GPL(edid_info); +#ifndef CONFIG_XEN +#define copy_edid() (edid_info = EDID_INFO) +#endif struct ist_info ist_info; #if defined(CONFIG_X86_SPEEDSTEP_SMI) || \ defined(CONFIG_X86_SPEEDSTEP_SMI_MODULE) @@ -1623,7 +1626,7 @@ void __init setup_arch(char **cmdline_p) ROOT_DEV = MKDEV(UNNAMED_MAJOR,0); drive_info = DRIVE_INFO; screen_info = SCREEN_INFO; - edid_info = EDID_INFO; + copy_edid(); apm_info.bios = APM_BIOS_INFO; ist_info = IST_INFO; saved_videomode = VIDEO_MODE; --- a/arch/x86_64/kernel/setup-xen.c 2007-08-27 14:01:25.000000000 -0400 +++ b/arch/x86_64/kernel/setup-xen.c 2007-08-27 14:02:03.000000000 -0400 @@ -616,7 +616,7 @@ void __init setup_arch(char **cmdline_p) } else screen_info.orig_video_isVGA = 0; - edid_info = EDID_INFO; + copy_edid(); saved_video_mode = SAVED_VIDEO_MODE; bootloader_type = LOADER_TYPE; --- a/drivers/xen/core/firmware.c 2007-08-27 14:01:25.000000000 -0400 +++ b/drivers/xen/core/firmware.c 2007-08-27 14:01:25.000000000 -0400 @@ -2,6 +2,7 @@ #include #include #include +#include