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