Index: /trunk/src/VBox/VMM/Makefile.kmk
===================================================================
--- /trunk/src/VBox/VMM/Makefile.kmk	(revision 40375)
+++ /trunk/src/VBox/VMM/Makefile.kmk	(revision 40376)
@@ -218,4 +218,12 @@
 endif
 
+ifdef VBOX_WITH_DTRACE_R3
+ VMMR3_DEFS += VBOX_WITH_DTRACE
+ VMMR3_INCS          += $(VMMR3_0_OUTDIR)
+ VMMR3_INTERMEDIATES += $(VMMR3_0_OUTDIR)/VBoxVMMR3-dtrace.h
+ $$(VMMR3_0_OUTDIR)/VBoxVMMR3-dtrace.h: $(PATH_SUB_CURRENT)/VBoxVMMR3-dtrace.d | $$(dir $$@)
+	dtrace -C -h -o $@ -s $<
+endif
+
 
 # SSM wish to know the build type, host os and arch.