xen/arm: mm: Use pte_xen_addr when creating xen entries
authorJulien Grall <julien.grall@arm.com>
Fri, 14 Dec 2018 11:44:54 +0000 (11:44 +0000)
committerJulien Grall <julien.grall@arm.com>
Mon, 17 Dec 2018 09:58:40 +0000 (09:58 +0000)
commite72745671a42e7f11a9418533763d210d3f0c835
tree376b2c37432170403271d61f77556d04ef410f4a
parentd2d71a5471e145b63324242d033c795a2f5e112f
xen/arm: mm: Use pte_xen_addr when creating xen entries

The helper pte_xen_addr computes the MFN based on the virtual
address and generates the PTE. This can be r

At the same time, make va a vaddr_t to make clear it holds virtual address.

Signed-off-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/mm.c