--- arch/x86/boot/video.h.orig 2012-09-14 14:06:49.005979707 +0000 +++ arch/x86/boot/video.h 2012-09-14 13:43:47.116013331 +0000 @@ -80,7 +80,7 @@ u16 xmode_n; /* Size of unprobed mode range */ };
-#define __videocard struct card_info __attribute__((section(".videocards"))) +#define __videocard struct card_info __attribute__((used, section(".videocards"))) extern struct card_info video_cards[], video_cards_end[];
int mode_defined(u16 mode); /* video.c */
--- arch/x86/ boot/video. h.orig 2012-09-14 14:06:49.005979707 +0000 boot/video. h 2012-09-14 13:43:47.116013331 +0000
+++ arch/x86/
@@ -80,7 +80,7 @@
u16 xmode_n; /* Size of unprobed mode range */
};
-#define __videocard struct card_info __attribute_ _((section( ".videocards" ))) _((used, section( ".videocards" )))
+#define __videocard struct card_info __attribute_
extern struct card_info video_cards[], video_cards_end[];
int mode_defined(u16 mode); /* video.c */