diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 11:19:01 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-08-15 12:11:12 +0200 |
commit | 08de06feb3245859744a11e8dd9dde198ca33257 (patch) | |
tree | eaa0f1c63cc956d6ff076fff3f0cf78b6a0e469e /vm/vm_user.h | |
parent | 2cdb55a93f5dbf032fab0102758c40b08dc9dab8 (diff) |
vm: enable extra assertions
* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
Diffstat (limited to 'vm/vm_user.h')
0 files changed, 0 insertions, 0 deletions