projects / pintos-anon / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 168808b) | 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)
commit24af9f543b0056d3d223d120b05d019477b7bd2e
tree4a5dbc4bd37e4e7b36bd826aafe366c9ceed4489tree | snapshot
parent168808b0c8526d902250c1b3901dbbe7826b2418commit | diff
Add 14 (page fault) to named exceptions.
(Why wasn't this here before?)
src/threads/interrupt.c diff | blob | history
Pintos public repository