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