sub_14064F544

VOID *__fastcall sub_14064F544(__int64 a1){
  void *v2; 
  VOID *result; 

  if( a1 )
  {
    v2 = *(void **)(a1 + 16);
    if( v2 )
      result = ExFreePoolWithTag(v2, 0x42524157u);
    *(_QWORD *)(a1 + 16) = 0i64;
    *(_DWORD *)(a1 + 4) = 0;
    *(_DWORD *)(a1 + 8) = 0;
  }
  return result;
}

Referenced by:

WbFreeWarbirdProcess