cd3da7cb0e
Currently, page deallocation might fail if allocator cannot get page fd, which will leave VA space still mapped, and will also not mark page as free. Fix page deallocation function to always unmap space before trying to get rid of the page itself, and always mark page as free even if page deallocation failed. Fixes: |
||
---|---|---|
.. | ||
eal | ||
Makefile |