Index: nvidia-kmod.spec
===================================================================
--- nvidia-kmod.spec    (révision 13341)
+++ nvidia-kmod.spec    (copie de travail)
@@ -64,7 +64,14 @@
 for kernel_version in %{?kernel_versions}; do
     pushd _kmod_build_${kernel_version%%___*}/usr/src/nv/
     ln -s -f Makefile.kbuild Makefile
-    make %{?_smp_mflags}  SYSSRC="${kernel_version##*___}" module
+        if ${kernel_variant} xen; then
+            CC="cc -D__XEN_TOOLS__ \
+            -I/lib/modules/${kernel_version##*___}/build/include/asm/mach-xen" \
+            IGNORE_XEN_PRESENCE=1 \
+            make %{?_smp_mflags}  SYSSRC="${kernel_version##*___}" module
+        else
+            make %{?_smp_mflags}  SYSSRC="${kernel_version##*___}" module
+        done
     popd
 done