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);