Searched refs:VMX_GUEST_RIP (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/kernel/arch/x86_64/
H A Dvmkit.c59 vmwrite(VMX_GUEST_RIP, disp->dispatcher_run);
H A Dvmx_vmkit.c667 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 Dvmx_checks.c810 errval_t err = vmread(VMX_GUEST_RIP, &guest_rip);
/barrelfish-master/usr/vmkitmon/
H A Dguest.c577 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 Drealmode.c196 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 Dguest.c968 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 Drealmode.c196 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 Dvmx_encodings.h215 #define VMX_GUEST_RIP 0x681E // Guest RIP macro

Completed in 102 milliseconds