x86: reduce code duplication in guest_remove_page()
authorJan Beulich <jbeulich@suse.com>
Thu, 6 Dec 2018 11:18:03 +0000 (12:18 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 6 Dec 2018 11:18:03 +0000 (12:18 +0100)
commit88f90693c74d5877f6b343076c31739e8754fb00
tree1befe49f7b76fe78947c7ee8415ece7daa246e76
parent81cfc1b3c78f5d4abafdb368ede914b1dd825a7b
x86: reduce code duplication in guest_remove_page()

Quite a bit of duplicate code has accumulated on the "paging" types
special case path. Re-use what can be re-used from the common path.

Since it needs touching anyway, slightly re-format and extend the
gdprintk() on the common path as well.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
xen/common/memory.c