0001
0002
0003
0004
0005
0006
0007 do_reset() {
0008 echo > set_event
0009 clear_trace
0010 }
0011
0012 fail() {
0013 echo $1
0014 exit_fail
0015 }
0016
0017 echo 'sched:sched_switch' > set_event
0018
0019 yield
0020
0021 count=`cat trace | grep sched_switch | wc -l`
0022 if [ $count -eq 0 ]; then
0023 fail "sched_switch events are not recorded"
0024 fi
0025
0026 do_reset
0027
0028 echo 1 > events/sched/sched_switch/enable
0029
0030 yield
0031
0032 count=`cat trace | grep sched_switch | wc -l`
0033 if [ $count -eq 0 ]; then
0034 fail "sched_switch events are not recorded"
0035 fi
0036
0037 do_reset
0038
0039 echo 0 > events/sched/sched_switch/enable
0040
0041 yield
0042
0043 count=`cat trace | grep sched_switch | wc -l`
0044 if [ $count -ne 0 ]; then
0045 fail "sched_switch events should not be recorded"
0046 fi
0047
0048 exit 0