VfUtilFreePoolCheckIRQL

VOID __stdcall VfUtilFreePoolCheckIRQL(PVOID p){
  VfPoolDelayFreeIfPossible((PSLIST_ENTRY)p, KeGetCurrentIrql() != 2);
}

Referenced by:

VerifierExDeleteResourceLite
VerifierExInitializeResourceLite
VerifierIoSetCompletionRoutineEx
VfCheckForResource
VfTargetDriversRemove
ViDevObjRemove
ViFreeMapRegisterFile
ViLookasideAdd
ViLookasideDelete
ViRemLockDeleteFirstTreeNode
ViTargetTrackContiguousMemory