Fix signature of ipa_init.
The intermediate physical address is initialized from a physical
address type.
Change-Id: If3623e6f6ffd12765da8f8f618132f0f640b25c8
diff --git a/inc/hf/addr.h b/inc/hf/addr.h
index 08c7e12..4dc342d 100644
--- a/inc/hf/addr.h
+++ b/inc/hf/addr.h
@@ -63,9 +63,9 @@
/**
* Initializes an intermeditate physical address.
*/
-static inline ipaddr_t ipa_init(uintvaddr_t v)
+static inline ipaddr_t ipa_init(uintpaddr_t ipa)
{
- return (ipaddr_t){.ipa = v};
+ return (ipaddr_t){.ipa = ipa};
}
/**