Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 92512)
+++ /trunk/Config.kmk	(revision 92513)
@@ -5441,5 +5441,5 @@
  TEMPLATE_VBOXR0DRV_CFLAGS    += -include $(PATH_ROOT)/include/VBox/SUPDrvMangling.h
  TEMPLATE_VBOXR0DRV_CXXFLAGS  += -include $(PATH_ROOT)/include/VBox/SUPDrvMangling.h
- TEMPLATE_VBOXR0DRV_ASMDEFS   += RT_MANGLER_PREFIX=VBoxHost_
+ TEMPLATE_VBOXR0DRV_ASDEFS    += RT_MANGLER_PREFIX=VBoxHost_
 endif
 
@@ -8112,5 +8112,5 @@
  TEMPLATE_VBOXGUESTR0_CFLAGS     = $(patsubst %/VBox/SUPDrvMangling.h,%/VBox/VBoxGuestMangling.h,$(TEMPLATE_VBOXR0DRV_CFLAGS))
  TEMPLATE_VBOXGUESTR0_CXXFLAGS   = $(patsubst %/VBox/SUPDrvMangling.h,%/VBox/VBoxGuestMangling.h,$(TEMPLATE_VBOXR0DRV_CXXFLAGS))
- TEMPLATE_VBOXGUESTR0_ASMDEFS    = $(patsubst RT_MANGLER_PREFIX=%,RT_MANGLER_PREFIX=VBoxGuest_,$(TEMPLATE_VBOXR0DRV_ASMDEFS))
+ TEMPLATE_VBOXGUESTR0_ASDEFS     = $(patsubst RT_MANGLER_PREFIX=%,RT_MANGLER_PREFIX=VBoxGuest_,$(TEMPLATE_VBOXR0DRV_ASDEFS))
 endif
 if "$(VBOX_VCC_TOOL_STEM)" >= "VCC120" # Do not use SSE so the binaries might works on NT4 and earlier.