x86_64: fixed selective tlb flushing page size choice.
authorSimon Gerber <simon.gerber@hp.com>
Mon, 16 Jun 2014 19:54:02 +0000 (12:54 -0700)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Thu, 30 Apr 2015 19:19:27 +0000 (21:19 +0200)
commit33a1f19367d4a43c595558f4f7cc14d2feb9087a
tree32b9030ec356c4c32c29257ab5674f98629f6381
parentb1a34b18b5f605088295a6795fba7f8dba7c59ec
x86_64: fixed selective tlb flushing page size choice.

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