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

/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c278 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
349 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
458 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
515 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
638 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
741 err += vmread(VMX_GUEST_GS_ACCESS, &gs_access_rights);
H A Dvmx_vmkit.c583 err += vmwrite(VMX_GUEST_GS_ACCESS, 0xC093);
641 err += vmwrite(VMX_GUEST_GS_ACCESS, 0x93);
857 err += vmread(VMX_GUEST_GS_ACCESS, &guest_gs_access);
/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h89 #define VMX_GUEST_GS_ACCESS 0x481E // Guest GS access rights macro

Completed in 39 milliseconds