Searched refs:VMX_GUEST_RIP (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ |
H A D | vmkit.c | 59 vmwrite(VMX_GUEST_RIP, disp->dispatcher_run);
|
H A D | vmx_vmkit.c | 667 err += vmwrite(VMX_GUEST_RIP, 0xFFF0); 871 err += vmread(VMX_GUEST_RIP, &guest_rip); 1174 err += vmread(VMX_GUEST_RIP, &guest_rip); 1217 err += vmread(VMX_GUEST_RIP, &guest_rip); 1223 err += vmwrite(VMX_GUEST_RIP, guest_rip + instr_len); 1246 err+= vmread(VMX_GUEST_RIP, &guest_rip);
|
H A D | vmx_checks.c | 810 errval_t err = vmread(VMX_GUEST_RIP, &guest_rip);
|
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 577 errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, 0x8200); 1108 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1279 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1301 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1321 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1486 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1487 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_rip + 3); 1589 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1591 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_rip + 7); 1593 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_ri [all...] |
H A D | realmode.c | 196 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 270 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, M.x86.R_EIP);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 968 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, regs->rip); 1579 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1749 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1771 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1791 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1951 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 1952 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_rip + 3); 2054 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 2056 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_rip + 7); 2058 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, guest_ri [all...] |
H A D | realmode.c | 196 err += invoke_dispatcher_vmread(g->dcb_cap, VMX_GUEST_RIP, &guest_rip); 270 err += invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RIP, M.x86.R_EIP);
|
/barrelfish-master/include/barrelfish_kpi/ |
H A D | vmx_encodings.h | 215 #define VMX_GUEST_RIP 0x681E // Guest RIP macro
|
Completed in 102 milliseconds