diff options
| author | William Cohen <wcohen@redhat.com> | 2008-11-26 14:37:22 -0500 |
|---|---|---|
| committer | William Cohen <wcohen@redhat.com> | 2008-11-26 14:37:22 -0500 |
| commit | 0793bdc4e22af6dd29420f04c3b40ced72ba4b54 (patch) | |
| tree | f95e0f9afd4e64b4cc6af532c9ab7176ff5066b5 /translate.cxx | |
| parent | d1b8e10a316702a20b7abec8d27189a62fc4bab6 (diff) | |
| parent | 8d59b39f96b89eb055d77d422a923c499d2a5fca (diff) | |
| download | systemtap-steved-0793bdc4e22af6dd29420f04c3b40ced72ba4b54.tar.gz systemtap-steved-0793bdc4e22af6dd29420f04c3b40ced72ba4b54.tar.xz systemtap-steved-0793bdc4e22af6dd29420f04c3b40ced72ba4b54.zip | |
Merge branch 'master' of ssh://sources.redhat.com/git/systemtap
Diffstat (limited to 'translate.cxx')
| -rw-r--r-- | translate.cxx | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/translate.cxx b/translate.cxx index 1cf7361e..41a424ed 100644 --- a/translate.cxx +++ b/translate.cxx @@ -1287,6 +1287,11 @@ c_unparser::emit_module_exit () o->newline () << "yield ();"; // aka schedule() and then some o->newline(-2) << "} while (holdon);"; + // + o->newline() << "#ifdef STAPCONF_SYNCHRONIZE_SCHED"; + o->newline() << "synchronize_sched();"; + o->newline() << "#endif"; + // XXX: might like to have an escape hatch, in case some probe is // genuinely stuck somehow @@ -4860,6 +4865,7 @@ translate_pass (systemtap_session& s) s.op->newline() << "#include \"stat.c\""; s.op->newline() << "#include <linux/string.h>"; s.op->newline() << "#include <linux/timer.h>"; + s.op->newline() << "#include <linux/sched.h>"; s.op->newline() << "#include <linux/delay.h>"; s.op->newline() << "#include <linux/profile.h>"; s.op->newline() << "#include <linux/random.h>"; |