Changeset 40925 in vbox for trunk/src/VBox/VMM

Timestamp:

Apr 14, 2012 5:04:18 PM (13 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

77476

Message:

duh + device ids

File:

• trunk/src/VBox/VMM/dtrace/int-1.d (modified) (2 diffs)

trunk/src/VBox/VMM/dtrace/int-1.d

@@ -31 +31 @@
 /g_aStarts[args[1]] > 0 && args[1] != 0/
 {
-    @interrupts[args[3]] = count();
+    @interrupts[args[3], args[2]] = count();
     /*printf("get:  tag=%#x src=%d %llx - %llx = %llx\n", args[1], args[2], timestamp, g_aStarts[args[1]], timestamp - g_aStarts[args[1]]);*/
-    @dispavg[args[3]]  = avg(timestamp - g_aStarts[args[1]]);
-    @dispmax[args[3]]  = max(timestamp - g_aStarts[args[1]]);
-    @dispmin[args[3]]  = min(timestamp - g_aStarts[args[1]]);
+    @dispavg[args[3], args[2]]  = avg(timestamp - g_aStarts[args[1]]);
+    @dispmax[args[3], args[2]]  = max(timestamp - g_aStarts[args[1]]);
+    @dispmin[args[3], args[2]]  = min(timestamp - g_aStarts[args[1]]);
     g_aStarts[args[1]] = 0;
     g_cHits++;
@@ -54 +54 @@
     printa(@dispavg);
     printf("Minimax dispatch latency:");
+    printa(@dispmin);
+    printf("Maximum dispatch latency:");
     printa(@dispmax);
-    printf("Maximum dispatch latency:");
-    printa(@dispmin);
 }