in src/framework/shared/targets/usb/fxusbpipe.cpp [670:683]
FxUsbPipeContinuousReader::operator new(
__in size_t Size,
__in PFX_DRIVER_GLOBALS FxDriverGlobals,
__range(1, NUM_PENDING_READS_MAX) ULONG NumReaders
)
{
ASSERT(NumReaders >= 1);
return FxPoolAllocate2(
FxDriverGlobals,
POOL_FLAG_NON_PAGED,
Size + (NumReaders-1) * sizeof(FxUsbPipeRepeatReader)
);
}