diff options
author | Chris Metcalf <cmetcalf@ezchip.com> | 2015-06-04 17:55:50 (GMT) |
---|---|---|
committer | Chris Metcalf <cmetcalf@ezchip.com> | 2015-06-04 17:55:50 (GMT) |
commit | 5316a64ce518f850afb0fca322b85b6dff3cb59f (patch) | |
tree | d78376c10e3f5da5b06395670f098ec3e08f4af0 /scripts/Makefile.headersinst | |
parent | 9ae4d6bf228ec7f338e8220babb87ee4fae10429 (diff) | |
download | linux-5316a64ce518f850afb0fca322b85b6dff3cb59f.tar.xz |
tile: avoid a "label not used" warning in do_page_fault()
There are two different ifdef cases where the label is used,
but if neither is true, the label is unused and the compiler
generates a warning.
Refactor the code the way x86 does so that there is a
do_page_fault() that just does exception handling for
context tracking, and make __do_page_fault() a static inline
so that various cases can just return instead of doing a
jump to "done".
Signed-off-by: Chris Metcalf <cmetcalf@ezchip.com>
Diffstat (limited to 'scripts/Makefile.headersinst')
0 files changed, 0 insertions, 0 deletions