INT64 __fastcall KiTpReadOperandValue(INT64 a1, INT64 a2, INT64 a3, INT64 a4, CHAR a5, INT64 a6){
int v7;
unsigned int v8;
KiTpAccessMemory();
v8 = v7;
if( v7 >= 0 )
*(_QWORD *)a6 = KiTpSignExtendOperandValue(a1, *(_QWORD *)a6);
return v8;
}