bd9497be77
--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
21 lines
588 B
C
21 lines
588 B
C
/*
|
|
* Raspberry Pi support library for the ACK
|
|
* © 2013 David Given
|
|
* This file is redistributable under the terms of the 3-clause BSD license.
|
|
* See the file 'Copying' in the root of the distribution for the full text.
|
|
*/
|
|
|
|
#ifndef PI_H
|
|
#define PI_H
|
|
|
|
/* Initialise the mini UART (only do this if running on bare metal! */
|
|
extern void pi_init_uart(void);
|
|
|
|
/* Converts a pointer from a physical address to a user address. */
|
|
extern void* pi_phys_to_user(void* ptr);
|
|
|
|
/* Converts a pointer from a user address to a physical address. */
|
|
extern void* pi_user_to_phys(void* ptr);
|
|
|
|
#endif
|
|
|