--- Makefile.kernel	2004-06-11 10:31:19.000000000 +0900
+++ Makefile.kernel	2004-06-16 13:11:55.484843831 +0900
@@ -19,12 +19,7 @@
 
 EXTRA_CFLAGS := $(CC_OPTS) $(INCLUDE)
 
-EXTRA_CFLAGS += $(call vm_check_build, $(SRCROOT)/autoconf/nopage1.c, -DVMW_NOPAGE_261, )
-EXTRA_CFLAGS += $(call vm_check_build, $(SRCROOT)/autoconf/skas1.c,   -DVMW_SKAS_MMAP, )
-EXTRA_CFLAGS += $(call vm_check_build, $(SRCROOT)/autoconf/ioapic.c,	\
-		-DVMWARE__FIX_IO_APIC_BASE=FIX_IO_APIC_BASE_0,		\
-		-DVMWARE__FIX_IO_APIC_BASE=FIX_IO_APIC_BASE )
-EXTRA_CFLAGS += $(call vm_check_build, $(SRCROOT)/autoconf/epoll.c,   -DVMW_HAVE_EPOLL, )
+EXTRA_CFLAGS += -DVMWARE__FIX_IO_APIC_BASE=FIX_IO_APIC_BASE_0 -DVMW_HAVE_EPOLL
 
 obj-m += $(DRIVER).o