mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-26 22:09:51 +00:00
1e7116fcc1
The management of Linux page structs is now tied to the life time of DMA buffers. Thus, page structs are created when a buffer is allocated and deallocated only when a buffer is freed - not on lx_emul_mem_free() because DMA buffers are cached. Page struct refcounting was entirely reworked in lx_emul/shadow/mm/page_alloc.c. Fixes #4809