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