GETREG
cr0 = GETREG(vcpu, VM_REG_GUEST_CR0);
sel = GETREG(vcpu, segment);
cs = GETREG(vcpu, VM_REG_GUEST_CS);
tss->tss_eax = GETREG(vcpu, VM_REG_GUEST_RAX);
tss->tss_ecx = GETREG(vcpu, VM_REG_GUEST_RCX);
tss->tss_edx = GETREG(vcpu, VM_REG_GUEST_RDX);
tss->tss_ebx = GETREG(vcpu, VM_REG_GUEST_RBX);
tss->tss_esp = GETREG(vcpu, VM_REG_GUEST_RSP);
tss->tss_ebp = GETREG(vcpu, VM_REG_GUEST_RBP);
tss->tss_esi = GETREG(vcpu, VM_REG_GUEST_RSI);
tss->tss_edi = GETREG(vcpu, VM_REG_GUEST_RDI);
tss->tss_es = GETREG(vcpu, VM_REG_GUEST_ES);
tss->tss_cs = GETREG(vcpu, VM_REG_GUEST_CS);
tss->tss_ss = GETREG(vcpu, VM_REG_GUEST_SS);
tss->tss_ds = GETREG(vcpu, VM_REG_GUEST_DS);
tss->tss_fs = GETREG(vcpu, VM_REG_GUEST_FS);
tss->tss_gs = GETREG(vcpu, VM_REG_GUEST_GS);
tss->tss_eflags = GETREG(vcpu, VM_REG_GUEST_RFLAGS);
cr0 = GETREG(vcpu, VM_REG_GUEST_CR0);
rflags = GETREG(vcpu, VM_REG_GUEST_RFLAGS);
stacksel = GETREG(vcpu, VM_REG_GUEST_SS);
esp = GETREG(vcpu, VM_REG_GUEST_RSP);
ot_sel = GETREG(vcpu, VM_REG_GUEST_TR);
GETREG(VMM_REG_DR0), GETREG(VMM_REG_DR0));
GETREG(VMM_REG_DR1), GETREG(VMM_REG_DR1));
GETREG(VMM_REG_DR2), GETREG(VMM_REG_DR2));
GETREG(VMM_REG_DR3), GETREG(VMM_REG_DR3));
GETREG(VMM_REG_DR6), GETREG(VMM_REG_DR6), dr6_flag_bits);
GETREG(VMM_REG_DR7), GETREG(VMM_REG_DR7), dr7_flag_bits);