tag	line	file	source code
invalid_TSS	54	kernel/traps.c	extern "C" void invalid_TSS(void);
invalid_TSS	239	kernel/traps.c	set_trap_gate(10,&invalid_TSS);