When installing WinDriver on a Linux machine, you must make sure that you are compiling WinDriver with the same header files that were used to build your kernel. `
#uname -a` will tell you your kernel version number.
Linux is very strict about kernel version mismatch and will even protest, for example, about 2.2.12-20 against 2.2.12.
You should verify that the directory /usr/src/linux (normally a symbolic ink) is pointing to the correct kernel header sources and that the header files are using exactly the same version numbers as your running kernel.