Searched refs:VMX_GUEST_GS_BASE (Results 1 - 7 of 7) sorted by relevance

/barrelfish-master/usr/arrakismon/
H A Drealmode.c239 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &guest_gs_base);
329 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &guest_gs_base);
H A Dguest.c2851 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_GS_BASE, val);
2926 err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &val);
/barrelfish-master/usr/vmkitmon/
H A Drealmode.c239 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &guest_gs_base);
329 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &guest_gs_base);
H A Dguest.c2389 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_GS_BASE, val);
2466 err = invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_GS_BASE, &val);
/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h208 #define VMX_GUEST_GS_BASE 0x6810 // Guest GS base macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c602 err += vmwrite(VMX_GUEST_GS_BASE, 0x0);
659 err += vmwrite(VMX_GUEST_GS_BASE, 0x0);
855 err += vmread(VMX_GUEST_GS_BASE, &guest_gs_base);
H A Dvmx_checks.c167 err += vmread(VMX_GUEST_GS_BASE, &gs_base);
1045 err += vmread(VMX_GUEST_GS_BASE, &gs_base);

Completed in 103 milliseconds