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