Searched refs:VMX_GUEST_DS_BASE (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/usr/arrakismon/ |
H A D | realmode.c | 227 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 D | guest.c | 1591 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 D | realmode.c | 227 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 D | guest.c | 1120 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 D | vmx_encodings.h | 206 #define VMX_GUEST_DS_BASE 0x680C // Guest DS base macro
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 599 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 D | vmx_checks.c | 207 err += vmread(VMX_GUEST_DS_BASE, &ds_base);
|
Completed in 106 milliseconds