VM_REG_GUEST_R8
{ .id = VM_REG_GUEST_R8, .size = 8 },
error = vm_get_register(vcpu, VM_REG_GUEST_R8, &r8);
VM_REG_GUEST_R8, /* KDIREG_R8 */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_R8, zero)) != 0)
case VM_REG_GUEST_R8:
case VM_REG_GUEST_R8:
VM_REG_GUEST_R8,
VM_REG_GUEST_R8,