[PATCH RFC 1/2] xen/arm: remove cast in mmu_init_secondary_cpu

[ChanJu Park <bestworld@samsung.com>]

At this moment, virt_to_maddr() is casted with 32 bit and this makes an error when 64 bit address is returned.
This cast needs to be removed. 


Singed-off-by: ChanJu Park 
Singed-off-by: Min Kang 
---
xen/arch/arm/mm.c |    2 +-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c
index 69c157a..bdfb7af 100644
--- a/xen/arch/arm/mm.c
+++ b/xen/arch/arm/mm.c
@@ -520,7 +520,7 @@ void __cpuinit mmu_init_secondary_cpu(void)
     uint64_t ttbr;

     /* Change to this CPU's pagetables */
-    ttbr = (uintptr_t)virt_to_maddr(THIS_CPU_PGTABLE);
+    ttbr = virt_to_maddr(THIS_CPU_PGTABLE);
     WRITE_TTBR(ttbr);

     /* From now on, no mapping may be both writable and executable. */
-- 
1.7.9.5