diff options
author | Fernando Luis Vazquez Cao <fernando@intellilink.co.jp> | 2008-07-23 21:28:45 -0700 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2008-07-24 10:47:24 -0700 |
commit | d50004b0867a59f8a81116f000edb352595343d9 (patch) | |
tree | b8f8f69dacea6aae64d18881884bb98c19e69446 /MAINTAINERS | |
parent | 912019572180f287e85b5534fbb1c1e3ca6df6c9 (diff) |
cris: remove unused global_flush_tlb
global_flush_tlb is declared but never used.
Signed-off-by: Fernando Luis Vazquez Cao <fernando@oss.ntt.co.jp>
Cc: Mikael Starvik <starvik@axis.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions