projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: caeb8f8) | patch
Add 14 (page fault) to named exceptions.
authorBen Pfaff <blp@cs.stanford.edu>
Thu, 14 Oct 2004 04:22:51 +0000 (04:22 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Thu, 14 Oct 2004 04:22:51 +0000 (04:22 +0000)
commitc0737d371d7d59921fda38bd926d87a2125f39e3
tree6af297926eeb49b9c08446201dff2e95dc466947tree | snapshot
parentcaeb8f8ce9379914671abcd5f194873800b81130commit | diff
Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)
src/threads/interrupt.c diff | blob | history
Pintos public repository