iKernelNum        124 drivers/video/fbdev/via/ioctl.h 	int iKernelNum;
iKernelNum        531 drivers/video/fbdev/via/viafbdev.c 		u.driver_version.iKernelNum = VERSION_KERNEL;