VMX20
fail = memcmp(ucp->uc_mcontext.v_regs->vrregs[VMX20 + i],
printf("VMX%d (1st context) == 0x", VMX20 + i);
printf("%08x", ucp->uc_mcontext.v_regs->vrregs[VMX20 + i][j]);
fail = memcmp(tm_ucp->uc_mcontext.v_regs->vrregs[VMX20 + i],
printf("%08x", tm_ucp->uc_mcontext.v_regs->vrregs[VMX20 + i][j]);