--- wikisrc/tutorials/how_to_enable_and_run_dtrace.mdwn	2014/09/18 15:05:39	1.11
+++ wikisrc/tutorials/how_to_enable_and_run_dtrace.mdwn	2014/09/18 19:46:11	1.12
@@ -19,7 +19,6 @@ You can currently run a hello world DScr
 
 ## TODO for netbsd-7
 
-* Rename provider modules to `dtrace_*.kmod`: `dtrace_fbt.kmod`, &c.
 * Measure effect of `options KDTRACE_HOOKS` on system performance.
 * Determine whether the profile module works and list it here.
 * Integrate [[riz|users/riz]]'s syscall provider patch.
@@ -50,8 +49,8 @@ Load the solaris and dtrace modules, and
     
     modload solaris
     modload dtrace
-    modload sdt
-    modload fbt
+    modload dtrace_sdt
+    modload dtrace_fbt
     
 
 Make the dtrace device node: