Index: /trunk/src/VBox/Devices/Makefile.kmk
===================================================================
--- /trunk/src/VBox/Devices/Makefile.kmk	(revision 29321)
+++ /trunk/src/VBox/Devices/Makefile.kmk	(revision 29322)
@@ -188,7 +188,4 @@
 ifdef VBOX_WITH_DRV_DISK_INTEGRITY
  VBoxDD_DEFS           += VBOX_WITH_DRV_DISK_INTEGRITY
-endif
-ifdef VBOX_WITH_PAGE_SHARING
-  VBoxDD_DEFS          += VBOX_WITH_PAGE_SHARING
 endif
 ifdef VBOX_WITH_VDE
@@ -288,5 +285,6 @@
 DevicesR3_DEFS.darwin.x86 = VBOX_WITH_2X_4GB_ADDR_SPACE
 DevicesR3_DEFS         += VBOX_HGCM_HOST_CODE \
-			  $(if $(VBOX_WITH_VMI),VBOX_WITH_VMI,)
+			  $(if $(VBOX_WITH_VMI),VBOX_WITH_VMI,) \
+			  $(if $(VBOX_WITH_PAGE_SHARING),VBOX_WITH_PAGE_SHARING,)
 DevicesR3_DEFS         += VBOX_WITH_HGCM
 DevicesR3_DEFS.linux   += _GNU_SOURCE