armv7: paging: proper check if `pte_count` pages fit inside source frame starting...
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 3 Oct 2016 15:14:14 +0000 (17:14 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 3 Oct 2016 15:14:14 +0000 (17:14 +0200)
commit5d46bc444e0b4ddc9948290cf70524a06ba865ce
treeb5646153d5d59b339511048df3ad36c779553a7c
parent5abdaec07e3eb4cc863f0bdb24d83977fa3bb0ef
armv7: paging: proper check if `pte_count` pages fit inside source frame starting at `offset`

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