tss_get           174 bsp/hal/x86/arch/trap.c 	       r->cs, ss, r->ds, r->es, tss_get());
tss_get           199 bsp/hal/x86/include/cpu.h uint32_t tss_get(void);