VOID __stdcall ExDeletePoolTagTable(UINT64 NewProcessorNumber){
UINT64 v1;
UINT8 *v2;
unsigned __int8 CurrentIrql;
v1 = 56 * (PoolTrackTableSize + 1);
v2 = (&ExPoolTagTables)[(unsigned int)NewProcessorNumber];
CurrentIrql = KeGetCurrentIrql();
__writecr8(2ui64);
(&ExPoolTagTables)[(unsigned int)NewProcessorNumber] = 0i64;
__writecr8(CurrentIrql);
MmFreeIndependentPages(v2, v1);
}