iOSNum            125 drivers/video/fbdev/via/ioctl.h 	int iOSNum;
iOSNum            532 drivers/video/fbdev/via/viafbdev.c 		u.driver_version.iOSNum = VERSION_OS;