viafb_id 16 drivers/video/fbdev/via/ioctl.c viainfo.viafb_id = VIAID; viafb_id 93 drivers/video/fbdev/via/ioctl.h u32 viafb_id; /* for identifying viafb */