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