common/vcpu: Switch v->vcpu_info_mfn to mfn_t
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 15 Feb 2017 17:32:30 +0000 (17:32 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 16 Feb 2017 14:15:25 +0000 (14:15 +0000)
commit3044a2a81910bf993c0fe6fa34bee0bf5b410911
treefe75d5123c58977f6683856ba6795d06e882a834
parente0f6e6f614da1f3bc9147774a58ac1fbc7c74ed2
common/vcpu: Switch v->vcpu_info_mfn to mfn_t

No functional change.

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