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

/barrelfish-master/usr/arrakismon/
H A Drealmode.c227 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
314 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
H A Dguest.c1591 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2005 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2223 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
2293 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
/barrelfish-master/usr/vmkitmon/
H A Drealmode.c227 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
314 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
H A Dguest.c1120 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1540 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1758 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
1828 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_DS_BASE, &guest_ds_base);
/barrelfish-master/include/barrelfish_kpi/
H A Dvmx_encodings.h206 #define VMX_GUEST_DS_BASE 0x680C // Guest DS base macro
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_vmkit.c599 err += vmwrite(VMX_GUEST_DS_BASE, 0x0);
656 err += vmwrite(VMX_GUEST_DS_BASE, 0x0);
847 err += vmread(VMX_GUEST_DS_BASE, &guest_ds_base);
H A Dvmx_checks.c207 err += vmread(VMX_GUEST_DS_BASE, &ds_base);

Completed in 106 milliseconds