diff options
author | Andres Lagar-Cavilla <andres@lagarcavilla.org> | 2012-04-05 11:06:03 +0100 |
---|---|---|
committer | Andres Lagar-Cavilla <andres@lagarcavilla.org> | 2012-04-05 11:06:03 +0100 |
commit | 1f348a695fa0a22ee1e99c8972181de859ec3d87 (patch) | |
tree | 4e55d33b042f3e1047b5bf09dad3a8f953f9becc /xen/common/schedule.c | |
parent | cf705ff84bf2c911dfca2a3f3aeb130d110701bf (diff) | |
download | xen-1f348a695fa0a22ee1e99c8972181de859ec3d87.tar.gz xen-1f348a695fa0a22ee1e99c8972181de859ec3d87.tar.bz2 xen-1f348a695fa0a22ee1e99c8972181de859ec3d87.zip |
x86/mm: Take care of domain reference for shared pages
Making a page sharable removes it from the previous owner's list. Making it
private adds it. These actions are similar to freeing or allocating a page.
Except that they were not minding the domain reference that is taken/dropped
when the first/last page is allocated/freed.
Without fixing this, a domain might remain zombie when destroyed if all its
pages are shared.
Signed-off-by: Andres Lagar-Cavilla <andres@lagarcavilla.org>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Tim Deegan <tim@xen.org>
Diffstat (limited to 'xen/common/schedule.c')
0 files changed, 0 insertions, 0 deletions