c72eaef8ee
--HG-- branch : dtrg-videocore rename : plat/rpi/libsys/pi_user_to_phys.s => plat/rpi/libsys/pi_fast_mode.s
48 lines
1.1 KiB
C
48 lines
1.1 KiB
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
|
|
|
|
/* When running in kernel mode, this structure gets the incoming parameters.
|
|
* In bare metal mode, it's gibberish. */
|
|
|
|
struct pi_kernel_parameters
|
|
{
|
|
int r5;
|
|
int r4;
|
|
void* r3;
|
|
void* r2;
|
|
void* r1;
|
|
void* r0;
|
|
};
|
|
|
|
extern struct pi_kernel_parameters* pi_kernel_parameters;
|
|
|
|
/* 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);
|
|
|
|
/* Change the clock speed from 19.2MHz to 250MHz. Must be called *before*
|
|
* pi_init_uart(). */
|
|
extern void pi_fast_mode(void);
|
|
|
|
/* Initialise the RAM. */
|
|
extern void pi_init_ram(void);
|
|
|
|
/* The current clock speed (used by pi_init_uart to calculate the correct
|
|
* UART settings). */
|
|
|
|
extern int pi_clock_speed;
|
|
|
|
#endif
|
|
|