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 /ddb | |
| parent | 2cdb55a93f5dbf032fab0102758c40b08dc9dab8 (diff) | |
vm: enable extra assertions
* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
Diffstat (limited to 'ddb')
0 files changed, 0 insertions, 0 deletions