taglinefilesource code
general_protection55kernel/traps.cvoid general_protection(void);
general_protection199kernel/traps.cset_trap_gate(13,&general_protection);