Stefan Kalkowski 2f0fe562ec 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.
2024-04-12 15:05:14 +02:00
..
2024-02-26 08:59:07 +01:00
2020-04-17 12:40:12 +02:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2020-04-17 12:40:12 +02:00
2021-12-17 15:04:45 +01:00