From 4ee20980812b5b1800221996ec438689f61e98b4 Mon Sep 17 00:00:00 2001
From: Min-Hua Chen <orca.chen@gmail.com>
Date: Thu, 9 Oct 2014 16:53:10 +0100
Subject: [PATCH] arm64: fix data type for physical address

Use phys_addr_t for physical address in alloc_init_pud. Although
phys_addr_t and unsigned long are 64 bit in arm64, it is better
to use phys_addr_t to describe physical addresses.

Signed-off-by: Min-Hua Chen <orca.chen@gmail.com>
Signed-off-by: Will Deacon <will.deacon@arm.com>
---
Reading git-format-patch failed