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

/seL4-l4v-master/seL4/src/arch/x86/32/kernel/
H A Dthread.c32 setRegister(tcb, SS, SEL_DS_0);
H A Dvspace.c54 SEL_DS_0, /* ss0 */
/seL4-l4v-master/seL4/src/arch/x86/32/
H A Dmachine_asm.S22 #define SEL_DS_0 (GDT_DS_0 << 3) define
38 movw $SEL_DS_0, %ax # load register ax with seg selector for kernel DS
/seL4-l4v-master/seL4/src/arch/x86/64/kernel/
H A Dthread.c38 setRegister(tcb, SS, SEL_DS_0);
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dstructures.h41 #define SEL_DS_0 (GDT_DS_0 << 3) macro
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c445 vmwrite(VMX_HOST_ES_SELECTOR, SEL_DS_0);
447 vmwrite(VMX_HOST_SS_SELECTOR, SEL_DS_0);
448 vmwrite(VMX_HOST_DS_SELECTOR, SEL_DS_0);

Completed in 50 milliseconds