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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h34 #define VMX_HOST_CS_SEL 0xC02 // Guest CS selector macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c480 err += vmwrite(VMX_HOST_CS_SEL, rd_cs() & ~0x7);
H A Dvmx_checks.c971 errval_t err = vmread(VMX_HOST_CS_SEL, &cs_sel);

Completed in 115 milliseconds