--- zzzz-none-000/linux-2.6.19.2/drivers/infiniband/hw/ehca/ehca_tools.h	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5505/linux-2.6.19.2/drivers/infiniband/hw/ehca/ehca_tools.h	2007-01-11 07:38:19.000000000 +0000
@@ -63,7 +63,6 @@
 #include <asm/ibmebus.h>
 #include <asm/io.h>
 #include <asm/pgtable.h>
-#include <asm/hvcall.h>
 
 extern int ehca_debug_level;