projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c5bb7c) | patch
Default to INTR_OFF for unregistered interrupts.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 7 Sep 2004 06:22:05 +0000 (06:22 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 7 Sep 2004 06:22:05 +0000 (06:22 +0000)
commit2559f61a41ebfca4f17aae39c89b77a8f1c5c80f
tree5c01f8b4f73a018b9209e227567321bd08829760tree | snapshot
parent2c5bb7cae7970d66a988c5d8b096352b314a9c8ecommit | diff
Default to INTR_OFF for unregistered interrupts.
Add assert.
Add comment.
src/threads/interrupt.c diff | blob | history
Pintos public repository