NTSTATUS __stdcall TriageGetDriverCount(PVOID TriageDumpBlock, UINT64 *DriverCount){
char *v4;
if( !TriagepVerifyDump(TriageDumpBlock) )
return -1073741811;
v4 = (char *)TriageDumpBlock + (unsigned int)TriageImagePageSize;
if( !v4 )
return -1073741811;
*(_DWORD *)DriverCount = *((_DWORD *)v4 + 13);
return 0;
}