Searched refs:VMX_GUEST_GS_BASE (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/usr/arrakismon/ |
H A D | realmode.c | 239 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 D | guest.c | 2851 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 D | realmode.c | 239 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 D | guest.c | 2389 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 D | vmx_encodings.h | 208 #define VMX_GUEST_GS_BASE 0x6810 // Guest GS base macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 602 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 D | vmx_checks.c | 167 err += vmread(VMX_GUEST_GS_BASE, &gs_base); 1045 err += vmread(VMX_GUEST_GS_BASE, &gs_base);
|
Completed in 103 milliseconds