Merge remote-tracking branch 'trace/tip/x86/trace' into x86/trace

Fix from Steven Rostedt.
This commit is contained in:
H. Peter Anvin 2013-06-24 11:01:09 -07:00
commit 5236eb968e
2 changed files with 8 additions and 6 deletions