DbgkpWerFreePool

VOID __stdcall DbgkpWerFreePool(PVOID Address){
  if( Address )
    ExFreePoolWithTag(Address, 0x57676244u);
}

Referenced by:

DbgkCaptureLiveKernelDump