x86/pv: Clean up cr3 handling in arch_set_info_guest()
authorAndrew Cooper <andrew.cooper3@citrix.com>
Fri, 21 Dec 2018 13:44:30 +0000 (13:44 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 13 Aug 2019 18:03:42 +0000 (19:03 +0100)
commit243cc95d485846e35f5e2445fdaafe77c8c114d2
tree09b34e8a194e1c7cdf30197e9967338fd96dd6d1
parent24575e2c1b39d3f2c148d69bb1a87ca2ef2c6395
x86/pv: Clean up cr3 handling in arch_set_info_guest()

All of this code lives inside CONFIG_PV which means gfn == mfn, and the
fill_ro_mpt() calls clearly show that the value is used untranslated.

Change cr3_gfn to a suitably typed cr3_mfn, and replace get_page_from_gfn()
with get_page_from_mfn().

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/domain.c