projects / pintos-anon / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: dd3e6bf)
Don't make interrupt stubs global symbols.
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:31:30 +0000 (21:31 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 7 Nov 2008 05:55:39 +0000 (21:55 -0800)
The stubs are only referenced within intr-stubs.S so there is no reason
for them to be exported.

Found with Godmar's process-linker-map.pl.


No differences found
Pintos public repository