machine_is_shannon  802 drivers/video/fbdev/sa1100fb.c 	if (machine_is_shannon())
machine_is_shannon  820 drivers/video/fbdev/sa1100fb.c 	if (machine_is_shannon())
machine_is_shannon 1191 drivers/video/fbdev/sa1100fb.c 	if (machine_is_shannon()) {