History log of /barrelfish-master/usr/tests/nested_paging_test/nestedpaging.h
Revision Date Author Comments
# 5733653a 20-Mar-2015 Simon Gerber <simon.gerber@inf.ethz.ch>

T81: factored out nested paging management code.

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