diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-03-08 11:56:18 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2015-03-08 11:56:18 +0100 |
| commit | f9ab17f900ccce345539a0d7a0c09363d414c7dc (patch) | |
| tree | c748371dae8919a9e1e660b21e18cef4b972ad8d /doc/gpl.texi | |
| parent | 713e142a5e98e394454c202abffb645181e11964 (diff) | |
Remove spl debugging in Xen case
xen cli/sti doesn't use IF
* i386/i386/spl.S [MACH_XEN]: Disable IF check.
Diffstat (limited to 'doc/gpl.texi')
0 files changed, 0 insertions, 0 deletions