4 #include "threads/loader.h"
12 $x = sprintf ("%02x", $i);
13 print "\t.long intr${x}_stub\n";
22 $x = sprintf ("%02x", $i);
23 print ".globl intr${x}_stub\n";
24 print "intr${x}_stub:\n";
26 if ($i != 8 && $i != 10 && $i != 11
27 && $i != 13 && $i != 14 && $i != 17);
28 print "\tpushl \$0x$x\n";
29 print "\tjmp intr_entry\n";
34 # Save caller's registers.
39 # Set up kernel environment.
45 # Call interrupt handler.
53 # Restore caller's registers.