NTSTATUS __stdcall RtlpFcWriteHighLowHigh(INT64 a1, INT64 a2){
NTSTATUS result;
unsigned int v3;
_disable();
*(_DWORD *)(a1 + 8) = HIDWORD(a2);
result = v3 >> 9;
*(_QWORD *)a1 = a2;
if( (v3 & 0x200) != 0 )
_enable();
return result;
}