taglinefilesource code
invalid_TSS52kernel/traps.cvoid invalid_TSS(void);
invalid_TSS195kernel/traps.cset_trap_gate(10,&invalid_TSS);