T291: create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Sep 2016 09:03:29 +0000 (11:03 +0200)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Wed, 28 Sep 2016 09:03:29 +0000 (11:03 +0200)
commit1b5a68ec3a28183988964ded2e9284f301b82864
tree731aaf7e763ea0b5d2feb80bd97c3de0f054bf66
parent1a47d899885de0057f9cd86afd5ba280df12c4fb
T291:  create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.

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