GET_RS2C
val.data_ulong = GET_RS2C(insn, regs);
data64 = GET_RS2C(insn, &vcpu->arch.guest_context);
data32 = GET_RS2C(insn, &vcpu->arch.guest_context);