tag	line	file	source code
invalid_TSS	52	kernel/traps.c	void invalid_TSS(void);
invalid_TSS	196	kernel/traps.c	set_trap_gate(10,&invalid_TSS);