Fixed paging_tlb_flush_range to compile on x86_32.
authorSimon Gerber <simon.gerber@hp.com>
Wed, 18 Jun 2014 20:01:31 +0000 (13:01 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:28 +0000 (21:19 +0200)
commit1b6974a34573f6f9af233f68012702ebbcaa93e7
tree3d637deab12db2645809476ba25f24c793c0c54a
parentbc8315e7dd2af2eb89936f19cb998b93bdcffb99
Fixed paging_tlb_flush_range to compile on x86_32.

Signed-off-by: Simon Gerber <simon.gerber@hp.com>
kernel/paging_generic.c