diff options
| author | Jeremy Fitzhardinge <[email protected]> | 2009-02-09 16:39:58 -0800 |
|---|---|---|
| committer | Konrad Rzeszutek Wilk <[email protected]> | 2011-04-14 18:25:59 -0400 |
| commit | dd3672424caa7b302433635831afbb6787476b96 (patch) | |
| tree | 89aa3b28a3ffc5aaf45dd6cbd3dba7ef82104253 /tools/perf/scripts/python/sched-migration.py | |
| parent | 8812293323a79134e06c3bf82eba1e217d23382e (diff) | |
xen/blkback: don't include xen/evtchn.h
It's a user-mode header for users of /dev/evtchn
Signed-off-by: Jeremy Fitzhardinge <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/sched-migration.py')
0 files changed, 0 insertions, 0 deletions