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
..
2021-12-17 15:04:45 +01:00
2022-08-10 13:32:57 +02:00
2021-12-17 15:04:45 +01:00
2022-11-17 08:00:36 +01:00
2017-03-24 16:19:56 +01:00
2019-01-30 13:49:54 +01:00
2024-02-26 08:59:07 +01:00
2021-12-17 15:04:45 +01:00
2021-12-17 15:04:45 +01:00
2023-08-23 13:46:37 +02:00
2024-02-26 08:59:07 +01:00