Renamed the pi-specific functions to be a bit cleaner.

--HG--
branch : dtrg-videocore
rename : plat/rpi/libsys/phys_to_user.s => plat/rpi/libsys/pi_phys_to_user.s
rename : plat/rpi/libsys/uart.s => plat/rpi/libsys/pi_uart.s
rename : plat/rpi/libsys/user_to_phys.s => plat/rpi/libsys/pi_user_to_phys.s

plat/rpi/build.mk

@@ -19,9 +19,9 @@ platform-headers := \
 platform-libsys := \
 	_hol0.s \
 	errno.s \
-	phys_to_user.s \
+	pi_phys_to_user.s \
-	user_to_phys.s \
+	pi_user_to_phys.s \
-	uart.s \
+	pi_uart.s \
 	creat.c \
 	close.c \
 	open.c \

plat/rpi/include/pi.h

@@ -9,13 +9,13 @@
 #define PI_H
 
 /* Initialise the mini UART (only do this if running on bare metal! */
-extern void init_uart(void);
+extern void pi_init_uart(void);
 
 /* Converts a pointer from a physical address to a user address. */
-extern void* phys_to_user(void* ptr);
+extern void* pi_phys_to_user(void* ptr);
 
 /* Converts a pointer from a user address to a physical address. */
-extern void* user_to_phys(void* ptr);
+extern void* pi_user_to_phys(void* ptr);
 
 #endif
 

plat/rpi/libsys/pi_phys_to_user.s

@@ -12,8 +12,8 @@
 
 ! Transforms a physical address into a user address.
 
-.define _phys_to_user
+.define _pi_phys_to_user
-_phys_to_user:
+_pi_phys_to_user:
 	ld r0, 0 (sp)
 	sub r0, gp
 	b lr

plat/rpi/libsys/pi_uart.s

@@ -38,8 +38,8 @@ AUX_MU_BAUD_REG = 0x7e215068
 
 ! Sets up the mini UART for use as a console.
 
-.define _init_uart
+.define _pi_init_uart
-_init_uart:
+_pi_init_uart:
 	! Configure TX and RX GPIO pins for Mini Uart function.
 	mov	r1, #GPFSEL1
 	ld	r0, (r1)

plat/rpi/libsys/pi_user_to_phys.s

@@ -12,8 +12,8 @@
 
 ! Transforms a user address into a physical address.
 
-.define _user_to_phys
+.define _pi_user_to_phys
-_user_to_phys:
+_pi_user_to_phys:
 	ld r0, 0 (sp)
 	add r0, gp
 	b lr