video_cards_end    41 arch/x86/boot/video-mode.c 	for (card = video_cards; card < video_cards_end; card++) {
video_cards_end    58 arch/x86/boot/video-mode.c 	for (card = video_cards; card < video_cards_end; card++) {
video_cards_end    81 arch/x86/boot/video-mode.c 	for (card = video_cards; card < video_cards_end; card++) {
video_cards_end    99 arch/x86/boot/video-mode.c 	for (card = video_cards; card < video_cards_end; card++) {
video_cards_end   148 arch/x86/boot/video.c 	for (card = video_cards; card < video_cards_end; card++)
video_cards_end   161 arch/x86/boot/video.c 	for (card = video_cards; card < video_cards_end; card++) {
video_cards_end    82 arch/x86/boot/video.h extern struct card_info video_cards[], video_cards_end[];