VM_REG_GUEST_RBX
tss->tss_ebx = GETREG(vcpu, VM_REG_GUEST_RBX);
SETREG(vcpu, VM_REG_GUEST_RBX, tss->tss_ebx);
{ .id = VM_REG_GUEST_RBX, .size = 8 },
error = vm_get_register(vcpu, VM_REG_GUEST_RBX, &rbx);
VM_REG_GUEST_RBX, /* KDIREG_RBX */
if ((error = vm_set_register(vcpu, VM_REG_GUEST_RBX, zero)) != 0)
case VM_REG_GUEST_RBX:
case VM_REG_GUEST_RBX:
VM_REG_GUEST_RBX,
VM_REG_GUEST_RBX,