summaryrefslogtreecommitdiff
path: root/ddb/db_input.h
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-15 11:19:01 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2015-08-15 12:11:12 +0200
commit08de06feb3245859744a11e8dd9dde198ca33257 (patch)
treeeaa0f1c63cc956d6ff076fff3f0cf78b6a0e469e /ddb/db_input.h
parent2cdb55a93f5dbf032fab0102758c40b08dc9dab8 (diff)
vm: enable extra assertions
* vm/vm_fault.c (vm_fault_page): Enable extra assertions.
Diffstat (limited to 'ddb/db_input.h')
0 files changed, 0 insertions, 0 deletions