KERNEL_DS         136 bsp/hal/x86/arch/cpu.c 	gdt_set(KERNEL_DS / 8, 0, 0xffffffff, ST_KERN | ST_DATA_W, SIZE_32);
KERNEL_DS         202 bsp/hal/x86/arch/cpu.c 	tss.ss0 = KERNEL_DS;