Searched refs:VMX_HOST_DS_SEL (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h36 #define VMX_HOST_DS_SEL 0xC06 // Guest DS selector macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c482 err += vmwrite(VMX_HOST_DS_SEL, rd_ds() & ~0x7);
H A Dvmx_checks.c995 err += vmread(VMX_HOST_DS_SEL, &ds_sel);

Completed in 38 milliseconds