CHIP_ID_W3200     667 drivers/video/fbdev/w100fb.c 		case CHIP_ID_W3200: printk("w3200"); break;
CHIP_ID_W3200    1475 drivers/video/fbdev/w100fb.c 		case CHIP_ID_W3200: