Cleanup non-arch xtime uses, use get_seconds() or current_kernel_time().
[linux-2.6] / drivers / infiniband /
drwxr-xr-x   ..
-rw-r--r-- 1677 Kconfig
-rw-r--r-- 438 Makefile
drwxr-xr-x - core
drwxr-xr-x - hw
drwxr-xr-x - ulp