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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h38 #define VMX_HOST_GS_SEL 0xC0A // Guest GS selector macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c498 err += vmwrite(VMX_HOST_GS_SEL, 0x0);
H A Dvmx_checks.c1019 err += vmread(VMX_HOST_GS_SEL, &gs_sel);

Completed in 83 milliseconds