Lines Matching refs:KFLAGS
256 KFLAGS := -D__KERNEL__ -DMODULE -DRT_OS_LINUX -DIN_RING0 -DIN_RT_R0 \
261 KFLAGS += -DVBOX_REDHAT_KABI
264 KFLAGS += -DCONFIG_VBOXDRV_AS_MISC
267 KFLAGS += -DVBOX_WITH_NATIVE_DTRACE
270 KFLAGS += -DRT_ARCH_AMD64
272 KFLAGS += -DRT_ARCH_X86
275 KFLAGS += -DVBOX_WITH_64_BITS_GUESTS
277 KFLAGS += -DDEBUG -DDEBUG_$(USER) -g
279 #KFLAGS += -DIPRT_DEBUG_SEMS
282 KFLAGS += -DRTMEMALLOC_EXEC_HEAP -DVBOX_WITH_TEXT_MODMEM_HACK
290 EXTRA_CFLAGS += -include $(MANGLING) $(INCL) $(KFLAGS) $(KDEBUG)