diff --git a/src/rt/circular_buffer.cpp b/src/rt/circular_buffer.cpp index c334c816f15..87d2e62145f 100644 --- a/src/rt/circular_buffer.cpp +++ b/src/rt/circular_buffer.cpp @@ -139,7 +139,6 @@ circular_buffer::dequeue(void *dst) { void circular_buffer::grow() { size_t new_buffer_sz = _buffer_sz * 2; - I(kernel, new_buffer_sz <= MAX_CIRCULAR_BUFFER_SIZE); KLOG(kernel, mem, "circular_buffer is growing to %d bytes", new_buffer_sz); void *new_buffer = kernel->malloc(new_buffer_sz, diff --git a/src/rt/circular_buffer.h b/src/rt/circular_buffer.h index f06e700b2f8..289fcf1ec4f 100644 --- a/src/rt/circular_buffer.h +++ b/src/rt/circular_buffer.h @@ -8,7 +8,6 @@ class circular_buffer : public kernel_owned { static const size_t INITIAL_CIRCULAR_BUFFER_SIZE_IN_UNITS = 8; - static const size_t MAX_CIRCULAR_BUFFER_SIZE = 1 << 24; public: rust_kernel *kernel;