usr/vmkitmon/guest.h

127 guest_set_rax (struct guest *g, uint64_t val)
130     amd_vmcb_rax_wr(&g->vmcb, val);
132     g->ctrl->regs.rax = val;
147 guest_set_eax (struct guest *g, uint32_t val)
151     buf = (buf & ~0xffffffff) | val;
155     buf = (buf & ~0xffffffff) | val;
171 guest_set_ax (struct guest *g, uint16_t val)
175     buf = (buf & ~0xffff) | val;
179     buf = (buf & ~0xffff) | val;
195 guest_set_ah (struct guest *g, uint8_t val)
199     buf = (buf & ~0xff00) | ((uint64_t)val) << 8;
203     buf = (buf & ~0xff00) | ((uint64_t)val) << 8;
219 guest_set_al (struct guest *g, uint8_t val)
223     buf = (buf & ~0xff) | val;
227     buf = (buf & ~0xff) | val;
242 guest_set_rbx (struct guest *g, uint64_t val)
244     g->ctrl->regs.rbx = val;
253 guest_set_ebx (struct guest *g, uint32_t val) {
255     g->ctrl->regs.rbx = (buf & ~0xffffffff) | val;
265 guest_set_bx (struct guest *g, uint16_t val)
268     g->ctrl->regs.rbx = (buf & ~0xffff) | val;
278 guest_set_bl (struct guest *g, uint8_t val)
281     g->ctrl->regs.rbx = (buf & ~0xff) | val;
291 guest_set_bh (struct guest *g, uint8_t val)
294     g->ctrl->regs.rbx = (buf & ~0xff00) | ((uint64_t)val) << 8;
307 guest_set_rcx (struct guest *g, uint64_t val)
309     g->ctrl->regs.rcx = val;
318 guest_set_ecx (struct guest *g, uint32_t val) {
320     g->ctrl->regs.rcx = (buf & ~0xffffffff) | val;
330 guest_set_cx (struct guest *g, uint16_t val)
333     g->ctrl->regs.rcx = (buf & ~0xffff) | val;
343 guest_set_ch (struct guest *g, uint8_t val)
346     g->ctrl->regs.rcx = (buf & ~0xff00) | ((uint64_t)val) << 8;
356 guest_set_cl (struct guest *g, uint8_t val)
359     buf = (buf & ~0xff) | val;
360     g->ctrl->regs.rcx = val;
373 guest_set_rdx (struct guest *g, uint64_t val)
375     g->ctrl->regs.rdx = val;
384 guest_set_edx (struct guest *g, uint32_t val) {
386     g->ctrl->regs.rdx = (buf & ~0xffffffff) | val;
396 guest_set_dh (struct guest *g, uint8_t val)
399     g->ctrl->regs.rdx = (buf & ~0xff00) | ((uint64_t)val) << 8;
409 guest_set_dl (struct guest *g, uint8_t val)
412     g->ctrl->regs.rdx = (buf & ~0xff) | val;
425 guest_set_rdi (struct guest *g, uint64_t val)
427     g->ctrl->regs.rdi = val;
437 guest_set_di (struct guest *g, uint16_t val)
440     g->ctrl->regs.rdi = (buf & ~0xffff) | val;
453 guest_set_rsi (struct guest *g, uint64_t val)
455     g->ctrl->regs.rsi = val;
465 guest_set_si (struct guest *g, uint16_t val)
468     g->ctrl->regs.rsi = (buf & ~0xffff) | val;
488 guest_set_rsp (struct guest *g, uint64_t val)
491     amd_vmcb_rsp_wr(&g->vmcb, val);
493     errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RSP, val);
508 guest_set_rbp (struct guest *g, uint64_t val)
510     g->ctrl->regs.rbp = val;