projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 90e88db) | patch
mm: guest_remove_page() should not populate or unshare.
authorTim Deegan <tim@xen.org>
Thu, 15 Mar 2012 11:40:51 +0000 (11:40 +0000)
committerTim Deegan <tim@xen.org>
Thu, 15 Mar 2012 11:40:51 +0000 (11:40 +0000)
commit2daf35021672e3e94341a8f6c929df68cb10dbf1
tree779bfe832de9598b6fed70aece51ce4da39d2527tree | snapshot
parent90e88dbae3bf93415fc40654c8ca213523ea556fcommit | diff
mm: guest_remove_page() should not populate or unshare.

guest_remove_page() ought to use get_gfn_query() to look up the
current state of the gfn.  Otherwise it might populate or unshare
the gfn just before dropping it.

Signed-off-by: Tim Deegan <tim@xen.org>
Committed-by: Tim Deegan <tim@xen.org>
xen/common/memory.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.