Squashed a bug in paging code from the ARMv8 branch. release2015-08-13
authorDavid Cock <david.cock@inf.ethz.ch>
Wed, 12 Aug 2015 11:33:41 +0000 (13:33 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Wed, 12 Aug 2015 11:33:41 +0000 (13:33 +0200)
commitc1cb52456a49b5a61cf726ca25438f7162b92196
tree93f26d757cdab736359b196f2d1d671ab3eef78a
parent56357cf65ce5fdfe6f760a56d475410f7f577d72
Squashed a bug in paging code from the ARMv8 branch.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
kernel/paging_generic.c