Made pmap.c more consistent with demand paging
[akaros.git] / tests / kern_tests.h