ST_DATA_W         136 bsp/hal/x86/arch/cpu.c 	gdt_set(KERNEL_DS / 8, 0, 0xffffffff, ST_KERN | ST_DATA_W, SIZE_32);
ST_DATA_W         138 bsp/hal/x86/arch/cpu.c 	gdt_set(USER_DS / 8, 0, 0xffffffff, ST_USER | ST_DATA_W, SIZE_32);