diff --git a/sys/dev/fdt/fdt_pinctrl.c b/sys/dev/fdt/fdt_pinctrl.c
index f625d9f8649..3e852320594 100644
--- a/sys/dev/fdt/fdt_pinctrl.c
+++ b/sys/dev/fdt/fdt_pinctrl.c
@@ -106,10 +106,15 @@ int
 fdt_pinctrl_register(device_t pinctrl, const char *pinprop)
 {
 	phandle_t node;
+	int ret;
 
+	TSENTER();
 	node = ofw_bus_get_node(pinctrl);
 	OF_device_register_xref(OF_xref_from_node(node), pinctrl);
-	return (pinctrl_register_children(pinctrl, node, pinprop));
+	ret = pinctrl_register_children(pinctrl, node, pinprop);
+	TSEXIT();
+
+	return (ret);
 }
 
 static int
@@ -118,6 +123,8 @@ pinctrl_configure_children(device_t pinctrl, phandle_t parent)
 	phandle_t node, *configs;
 	int i, nconfigs;
 
+	TSENTER();
+
 	for (node = OF_child(parent); node != 0; node = OF_peer(node)) {
 		if (!ofw_bus_node_status_okay(node))
 			continue;
@@ -138,6 +145,7 @@ pinctrl_configure_children(device_t pinctrl, phandle_t parent)
 		}
 		OF_prop_free(configs);
 	}
+	TSEXIT();
 	return (0);
 }
 
diff --git a/sys/dev/fdt/fdt_pinctrl_if.m b/sys/dev/fdt/fdt_pinctrl_if.m
index c499cdf3cb8..995eedb3fb5 100644
--- a/sys/dev/fdt/fdt_pinctrl_if.m
+++ b/sys/dev/fdt/fdt_pinctrl_if.m
@@ -27,6 +27,7 @@
 #
 
 #include <sys/types.h>
+#include <sys/bus.h>
 #include <dev/ofw/openfirm.h>
 
 #
@@ -35,11 +36,22 @@
 
 INTERFACE fdt_pinctrl;
 
+# Needed for timestamping device probe/attach calls
+HEADER {
+	#include <sys/tslog.h>
+}
+
 #
 # Set pins to the specified configuration.  The cfgxref arg is an xref phandle
 # to a descendent node (child, grandchild, ...) of the pinctrl device node.
 # Returns 0 on success or a standard errno value.
 #
+PROLOG {
+	TSENTER2(device_get_name(pinctrl));
+}
+EPILOG {
+	TSEXIT2(device_get_name(pinctrl));
+}
 METHOD int configure {
 	device_t	pinctrl;
 	phandle_t	cfgxref;