armv7: fix #ifdef in paging_tlb_flush_range().
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 15:38:17 +0000 (17:38 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 4 May 2015 15:38:17 +0000 (17:38 +0200)
commitf47241f911530b2ddaf23a0b08993f0ae6545cbc
tree5602061bc6418cc6d1422faff85646cfdb12e3a6
parent64a7e31c447a249672d726bf0586b68c50476031
armv7: fix #ifdef in paging_tlb_flush_range().

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
kernel/paging_generic.c