aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSandrine Bailleux <sandrine.bailleux@arm.com>2014-05-29 17:36:42 +0100
committerSandrine Bailleux <sandrine.bailleux@arm.com>2014-06-05 17:39:40 +0100
commit28d67b29a18d9f5b2f5fbf7e39a125217fa8845e (patch)
tree39234b24a533e348b87ae54993184dece1774bdd
parent494db58083dc2d0a2ca250a27eeb15bfcff35fa2 (diff)
downloadarm-trusted-firmware-28d67b29a18d9f5b2f5fbf7e39a125217fa8845e.tar.gz
juno: Rename platform porting functions
Change-Id: I069a552b772cffb06c9e9c8cbec68f21b46aa9d4
-rw-r--r--plat/juno/bl31_plat_setup.c2
-rw-r--r--plat/juno/plat_gic.c10
2 files changed, 6 insertions, 6 deletions
diff --git a/plat/juno/bl31_plat_setup.c b/plat/juno/bl31_plat_setup.c
index 008476b..cb5fd1e 100644
--- a/plat/juno/bl31_plat_setup.c
+++ b/plat/juno/bl31_plat_setup.c
@@ -82,7 +82,7 @@ static entry_point_info_t bl33_ep_info;
* while BL3-2 corresponds to the secure image type. A NULL pointer is returned
* if the image does not exist.
******************************************************************************/
-entry_point_info_t *bl31_get_next_image_info(uint32_t type)
+entry_point_info_t *bl31_plat_get_next_image_ep_info(uint32_t type)
{
entry_point_info_t *next_image_info;
diff --git a/plat/juno/plat_gic.c b/plat/juno/plat_gic.c
index 2de6a5c..b18890b 100644
--- a/plat/juno/plat_gic.c
+++ b/plat/juno/plat_gic.c
@@ -206,7 +206,7 @@ uint32_t plat_interrupt_type_to_line(uint32_t type, uint32_t security_state)
* the GIC cpu interface. INTR_TYPE_INVAL is returned when there is no
* interrupt pending.
******************************************************************************/
-uint32_t ic_get_pending_interrupt_type(void)
+uint32_t plat_ic_get_pending_interrupt_type(void)
{
uint32_t id;
@@ -227,7 +227,7 @@ uint32_t ic_get_pending_interrupt_type(void)
* the GIC cpu interface. INTR_ID_UNAVAILABLE is returned when there is no
* interrupt pending.
******************************************************************************/
-uint32_t ic_get_pending_interrupt_id(void)
+uint32_t plat_ic_get_pending_interrupt_id(void)
{
uint32_t id;
@@ -250,7 +250,7 @@ uint32_t ic_get_pending_interrupt_id(void)
* This functions reads the GIC cpu interface Interrupt Acknowledge register
* to start handling the pending interrupt. It returns the contents of the IAR.
******************************************************************************/
-uint32_t ic_acknowledge_interrupt(void)
+uint32_t plat_ic_acknowledge_interrupt(void)
{
return gicc_read_IAR(GICC_BASE);
}
@@ -259,7 +259,7 @@ uint32_t ic_acknowledge_interrupt(void)
* This functions writes the GIC cpu interface End Of Interrupt register with
* the passed value to finish handling the active interrupt
******************************************************************************/
-void ic_end_of_interrupt(uint32_t id)
+void plat_ic_end_of_interrupt(uint32_t id)
{
gicc_write_EOIR(GICC_BASE, id);
}
@@ -269,7 +269,7 @@ void ic_end_of_interrupt(uint32_t id)
* this interrupt has been configured under by the interrupt controller i.e.
* group0 or group1.
******************************************************************************/
-uint32_t ic_get_interrupt_type(uint32_t id)
+uint32_t plat_ic_get_interrupt_type(uint32_t id)
{
uint32_t group;