--- 	
+++ 	2016-09-21 02:22:28 
@@ -, +, @@ 
--- a/Config.kmk
@@ -3719,11 +3719,13 @@ 
 		$(if-expr $(intersects $(KBUILD_TARGET_ARCH),$(KBUILD_ARCHES_64)),-64,-32) \
 		-h --host-$(VBOX_HC_ARCH_BITS)-bit #-vvv
 define TOOL_VBoxTpG_DTRACE_HDR_CMDS
+	$(QUIET)paxmark.sh -m "$(VBOX_VBOXTPG)"
 	$(QUIET)$(VBOX_VBOXTPG) $(flags) -o "$(out)" -s "$(source)"
 endef
 TOOL_VBoxTpG_DTRACE_OBJ_NOT_NEEDED :=
 TOOL_VBoxTpG_DTRACE_OBJ_FLAGS      := -G --host-$(VBOX_HC_ARCH_BITS)-bit #-vvv
 define TOOL_VBoxTpG_DTRACE_OBJ_CMDS
+	$(QUIET)paxmark.sh -m "$(VBOX_VBOXTPG)"
 	$(QUIET)$(VBOX_VBOXTPG) \
 		$(if-expr $(intersects $(bld_trg_arch),$(KBUILD_ARCHES_64)),-64,-32) \
 		$(flags) \
@@ -3738,6 +3740,7 @@ 
 TOOL_VBoxTpG-Disabled_DTRACE_DEPORD     = $(VBOX_VBOXTPG)
 TOOL_VBoxTpG-Disabled_DTRACE_HDR_FLAGS := -h
 define TOOL_VBoxTpG-Disabled_DTRACE_HDR_CMDS
+	$(QUIET)paxmark.sh -m "$(VBOX_VBOXTPG)"
 	$(QUIET)$(VBOX_VBOXTPG) $(flags) -o "$(out)" -s "$(source)"
 endef
 TOOL_VBoxTpG-Disabled_DTRACE_OBJ_NOT_NEEDED := $(KBUILD_OSES)
@@ -3752,6 +3755,7 @@ 
 TOOL_DTraceAndVBoxTpG_DTRACE_HDR_CMDS =
 define TOOL_DTraceAndVBoxTpG_DTRACE_HDR_CMDS
 	$(TOOL_StandardDTrace_DTRACE_HDR_CMDS)
+	$(QUIET)paxmark.sh -m "$(VBOX_VBOXTPG)"
 	$(QUIET)$(VBOX_VBOXTPG) --generate-wrapper-header --host-$(VBOX_HC_ARCH_BITS)-bit --ring-3-context \
 		$(filter-out -C, $(filter-out -h,$(flags))) \
 		-o "$(out).tmp" -s "$(source)"
--- a/src/VBox/VMM/Makefile.kmk
@@ -795,6 +795,7 @@ 
  define def_vmm_lib_dtrace_preprocess
   $$$$(VMMLibDTrace_0_OUTDIR)/$1: $2 $$(VBOX_VBOXCPP) | $$$$(dir $$$$@)
 	$$(QUIET)$$(call MSG_GENERATE,VMMLibDTrace,$$@,$$<)
+	$$(QUIET)paxmark.sh -m "$(VBOX_VBOXCPP)"
 	$$(QUIET)$(VBOX_VBOXCPP) -d \
 		-D VBOX_FOR_DTRACE_LIB \
 		-D VBOX_FOR_DTRACE_LIB_$(toupper $(KBUILD_TARGET_ARCH)) \
--- a/src/VBox/Main/Makefile.kmk
@@ -522,6 +522,7 @@ 
  $$(VBoxSVC_0_OUTDIR)/USBIdDatabase.cpp:  $$(USBIdDatabaseGenerator_1_TARGET) \
  		$(PATH_SUB_CURRENT)/src-server/usb.ids $(PATH_SUB_CURRENT)/src-server/custom.ids | $$(dir $$@)
 	$(call MSG_GENERATE,USBIdDatabase,$@,$<)
+	$(QUIET)paxmark.sh -m "$(USBIdDatabaseGenerator_1_TARGET)"
 	$(QUIET)$(USBIdDatabaseGenerator_1_TARGET) -o "$@" $(filter %.ids,$^)
 
  BLDPROGS += USBIdDatabaseGenerator