UINT64 __fastcall MiFillVirtualFaultInfo(UINT64 *a1, INT64 a2, INT64 a3){
UINT64 result;
result = a2 & 0xFFFFFFFFFFFFFi64 | *a1 & 0xFFF0000000000000ui64 | 0x10000000000000i64;
*a1 = result;
if( (a3 & 0x42) != 0 )
{
result |= 0x20000000000000ui64;
*a1 = result;
}
if( a3 >= 0 )
{
result |= 0x40000000000000ui64;
*a1 = result;
}
if( (a3 & 0x18) != 0 )
{
result |= 0x80000000000000ui64;
*a1 = result;
}
return result;
}