Searched refs:VMX_GUEST_SYSENTER_ESP (Results 1 - 5 of 5) sorted by relevance
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 218 #define VMX_GUEST_SYSENTER_ESP 0x6824 // Guest IA32_SYSENTER_ESP macro
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 2361 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_SYSENTER_ESP, val); 2438 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SYSENTER_ESP, &val);
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmx_vmkit.c | 559 err += vmwrite(VMX_GUEST_SYSENTER_ESP, 0x0);
|
H A D | vmx_checks.c | 875 err += vmread(VMX_GUEST_SYSENTER_ESP, &sysenter_esp);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 2823 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_SYSENTER_ESP, val); 2898 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_SYSENTER_ESP, &val);
|
Completed in 152 milliseconds