VOID __fastcall DbgkpWerAllocateNonpagedPool(UINT64 NumberOfBytes, UINT64 a2){ ExAllocatePoolWithTag(NonPagedPoolNx, 0x20ui64, 0x57676244ui64); }