From 2f0fe562ec71ba085e970633710af5ed03ba8dfc Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Wed, 27 Mar 2024 16:35:55 +0100 Subject: [PATCH] os: packet_allocator needs size for free Unlike the previous return value of `Genode::Packet_allocator::need_size_for_free()` indicated, it does need the size of the object it has to free to work properly. --- repos/os/include/os/packet_allocator.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repos/os/include/os/packet_allocator.h b/repos/os/include/os/packet_allocator.h index 173c44057a..5b0f053734 100644 --- a/repos/os/include/os/packet_allocator.h +++ b/repos/os/include/os/packet_allocator.h @@ -184,7 +184,7 @@ class Genode::Packet_allocator : public Genode::Range_allocator ** Dummies ** *************/ - bool need_size_for_free() const override { return false; } + bool need_size_for_free() const override { return true; } void free(void *) override { } size_t overhead(size_t) const override { return 0;} size_t avail() const override { return 0; }