ss0               202 bsp/hal/x86/arch/cpu.c 	tss.ss0 = KERNEL_DS;
ss0               174 bsp/hal/x86/include/cpu.h 	uint32_t esp0, ss0;