PfSnAllocateEnablePrefetcherTimer

_KDPC *__fastcall PfSnAllocateEnablePrefetcherTimer(unsigned int a1){
  VOID **PoolWithTag; 
  _KDPC *v3; 

  PoolWithTag = ExAllocatePoolWithTag(0x200ui64, 0x88ui64, 2001756995i64);
  v3 = (_KDPC *)PoolWithTag;
  if( PoolWithTag )
  {
    KeInitializeTimerEx((INT64)PoolWithTag, 0);
    KeInitializeDpc(v3 + 1, (PKDEFERRED_ROUTINE)PfSnEnablePrefetcherTimerRoutine, v3);
    v3[2].TargetInfoAsUlong = a1;
  }
  return v3;
}

Referenced by:

PfSnBeginBootPhase
PfSnQueueEnablePrefetcherTimer