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

/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h79 #define VMX_GUEST_GS_LIM 0x480A // Guest GS limit macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c573 err += vmwrite(VMX_GUEST_GS_LIM, 0xFFFFFFFF);
630 err += vmwrite(VMX_GUEST_GS_LIM, 0xFFFF);
856 err += vmread(VMX_GUEST_GS_LIM, &guest_gs_lim);
1144 err += vmread(VMX_GUEST_GS_LIM, &gs_lim);
1146 err += vmwrite(VMX_GUEST_GS_LIM, 0xfffef);
H A Dvmx_checks.c642 err += vmread(VMX_GUEST_GS_LIM, &gs_lim);

Completed in 84 milliseconds