On Tue, Nov 24, 2015 at 10:58 AM, Simula wrote:
> Hi everyone,
> I’m looking at the code of domain_kill() to understand how a dying domain
> releases its resources.
> If I’m understanding correctly, physical memory is released by gradually
> releasing the page tables and updating the page_info a
>>> On 24.11.15 at 11:58, wrote:
> I’m looking at the code of domain_kill() to understand how a dying domain
> releases its resources.
> If I’m understanding correctly, physical memory is released by gradually
> releasing the page tables and updating the page_info associated to each entry
> to
Hi everyone,
I’m looking at the code of domain_kill() to understand how a dying domain
releases its resources.
If I’m understanding correctly, physical memory is released by gradually
releasing the page tables and updating the page_info associated to each entry
to decrement reference counters u
