NTSTATUS __stdcall MiInitializeDriverPatchState(INT64 a1, INT64 a2){
unsigned int v2;
NTSTATUS result;
*(_QWORD *)a2 = a1;
v2 = *(_DWORD *)(a1 + 64);
*(_QWORD *)(a2 + 8) = 0i64;
*(_QWORD *)(a2 + 32) = 0i64;
*(_QWORD *)(a2 + 48) = 0i64;
result = (v2 >> 12) + ((v2 & 0xFFF) != 0);
*(_DWORD *)(a2 + 16) = result;
return result;
}