usr/arrakismon/guest.h

140 guest_set_rax (struct guest *g, uint64_t val)
143     amd_vmcb_rax_wr(&g->vmcb, val);
145     g->ctrl->regs.rax = val;
160 guest_set_eax (struct guest *g, uint32_t val)
164     buf = (buf & ~0xffffffff) | val;
168     buf = (buf & ~0xffffffff) | val;
184 guest_set_ax (struct guest *g, uint16_t val)
188     buf = (buf & ~0xffff) | val;
192     buf = (buf & ~0xffff) | val;
208 guest_set_ah (struct guest *g, uint8_t val)
212     buf = (buf & ~0xff00) | ((uint64_t)val) << 8;
216     buf = (buf & ~0xff00) | ((uint64_t)val) << 8;
232 guest_set_al (struct guest *g, uint8_t val)
236     buf = (buf & ~0xff) | val;
240     buf = (buf & ~0xff) | val;
255 guest_set_rbx (struct guest *g, uint64_t val)
257     g->ctrl->regs.rbx = val;
266 guest_set_ebx (struct guest *g, uint32_t val) {
268     g->ctrl->regs.rbx = (buf & ~0xffffffff) | val;
278 guest_set_bx (struct guest *g, uint16_t val)
281     g->ctrl->regs.rbx = (buf & ~0xffff) | val;
291 guest_set_bl (struct guest *g, uint8_t val)
294     g->ctrl->regs.rbx = (buf & ~0xff) | val;
304 guest_set_bh (struct guest *g, uint8_t val)
307     g->ctrl->regs.rbx = (buf & ~0xff00) | ((uint64_t)val) << 8;
320 guest_set_rcx (struct guest *g, uint64_t val)
322     g->ctrl->regs.rcx = val;
331 guest_set_ecx (struct guest *g, uint32_t val) {
333     g->ctrl->regs.rcx = (buf & ~0xffffffff) | val;
343 guest_set_cx (struct guest *g, uint16_t val)
346     g->ctrl->regs.rcx = (buf & ~0xffff) | val;
356 guest_set_ch (struct guest *g, uint8_t val)
359     g->ctrl->regs.rcx = (buf & ~0xff00) | ((uint64_t)val) << 8;
369 guest_set_cl (struct guest *g, uint8_t val)
372     buf = (buf & ~0xff) | val;
373     g->ctrl->regs.rcx = val;
386 guest_set_rdx (struct guest *g, uint64_t val)
388     g->ctrl->regs.rdx = val;
397 guest_set_edx (struct guest *g, uint32_t val) {
399     g->ctrl->regs.rdx = (buf & ~0xffffffff) | val;
409 guest_set_dh (struct guest *g, uint8_t val)
412     g->ctrl->regs.rdx = (buf & ~0xff00) | ((uint64_t)val) << 8;
422 guest_set_dl (struct guest *g, uint8_t val)
425     g->ctrl->regs.rdx = (buf & ~0xff) | val;
438 guest_set_rdi (struct guest *g, uint64_t val)
440     g->ctrl->regs.rdi = val;
450 guest_set_di (struct guest *g, uint16_t val)
453     g->ctrl->regs.rdi = (buf & ~0xffff) | val;
466 guest_set_rsi (struct guest *g, uint64_t val)
468     g->ctrl->regs.rsi = val;
478 guest_set_si (struct guest *g, uint16_t val)
481     g->ctrl->regs.rsi = (buf & ~0xffff) | val;
501 guest_set_rsp (struct guest *g, uint64_t val)
504     amd_vmcb_rsp_wr(&g->vmcb, val);
506     errval_t err = invoke_dispatcher_vmwrite(g->dcb_cap, VMX_GUEST_RSP, val);
521 guest_set_rbp (struct guest *g, uint64_t val)
523     g->ctrl->regs.rbp = val;