INT64 __fastcall MiInitializePfnListHead(INT64 a1, INT64 a2){
INT64 result;
*(_QWORD *)a1 = 0i64;
result = 0xFFFFFFFFFi64;
*(_QWORD *)(a1 + 32) = 0i64;
*(_QWORD *)(a1 + 16) = 0xFFFFFFFFFi64;
*(_QWORD *)(a1 + 24) = 0xFFFFFFFFFi64;
*(_DWORD *)(a1 + 8) = a2;
return result;
}