xen/x86: pv: Convert update_intpte() to use typesafe MFN
authorJulien Grall <julien.grall@arm.com>
Tue, 30 Apr 2019 17:43:25 +0000 (18:43 +0100)
committerJulien Grall <julien.grall@arm.com>
Mon, 19 Aug 2019 14:15:11 +0000 (15:15 +0100)
commit427b9c58f50bfbf6be99c0470079a165add18d22
tree17f4b43b4bc656ae031b56533d594c61ef5e081e
parent196dd56cf484e10018ed5875e3c4dd159bc74dbb
xen/x86: pv: Convert update_intpte() to use typesafe MFN

The third parameter of update_intpte() is a MFN, so it can be switched
to use the typesafe.

At the same time, the typesafe is propagated as far as possible without
major modifications.

Signed-off-by: Julien Grall <julien.grall@arm.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/mm.c
xen/arch/x86/pv/grant_table.c
xen/arch/x86/pv/mm.h
xen/arch/x86/pv/ro-page-fault.c