Searched refs:SEL_CS_3 (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/machine/
H A Dregisterset.c18 context->registers[CS] = SEL_CS_3;
/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S23 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3) define
H A Dtraps.S71 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3) define
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h110 setRegister(target_thread, CS, SEL_CS_3);
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h42 #define SEL_CS_3 ((GDT_CS_3 << 3) | 3) macro
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c337 x86_wrmsr(IA32_STAR_MSR, ((uint64_t)SEL_CS_0 << 32) | ((uint64_t)SEL_CS_3 << 48));

Completed in 116 milliseconds