scheduler.ctxswitch: arm has context_switch(), not __switch_to().

diff --git a/tapset/scheduler.stp b/tapset/scheduler.stp
index 7cdcbb6cef777328c64dca0fe2ad2a127e093447..ca4b6306895133e8558d4e67398d656aaa9e486b 100644 (file)
--- a/tapset/scheduler.stp
+++ b/tapset/scheduler.stp
@@ -117,7 +117,7 @@ probe scheduler.balance = kernel.function("idle_balance") ?
  */
 
 probe scheduler.ctxswitch = kernel.trace("sched_switch") !,
-%( arch != "x86_64" && arch != "ia64" %?
+%( arch != "x86_64" && arch != "ia64" && arch != "arm" %?
        kernel.function("__switch_to")
 %:
        kernel.function("context_switch")