rpi3bp.h

Go to the documentation of this file.

 
#ifndef __RASPBERRY_PI3B_H__
#define __RASPBERRY_PI3B_H__
 
#ifdef __TARGET_BOARD_RPI3__
 
#include <stdint.h>
#include <Hal/AA64/aa64cpu.h>
#include <aurora.h>
 
 
#define INT_SRC_CNTPSIRQ (1ULL<<0)
#define INT_SRC_CNTPNSIRQ (1ULL<<1)
#define INT_SRC_CNTHPIRQ (1ULL<<2)
#define INT_SRC_CNTVIRQ (1ULL<<3)
#define INT_SRC_MAILBOX0 (1ULL<<4)
#define INT_SRC_MAILBOX1 (1ULL<<5)
#define INT_SRC_MAILBOX2 (1ULL<<6)
#define INT_SRC_MAILBOX3 (1ULL<<7)
#define INT_SRC_GPU (1ULL<<8)
#define INT_SRC_PMU (1ULL<<9)
#define INT_SRC_AXI (1ULL<<10)
 
#define TIMER_IRQ_ENABLE (1ULL<<1)
#define TIMER_FIQ_ENABLE (1ULL<<3)
 
/* Mailbox Tags */
#define TAG_GET_BOARD_REV 0x00010002
#define TAG_ALLOCATE_BUFFER 0x00040001
#define TAG_RELEASE_BUFFER 0x00048001
#define TAG_BLANK_SCREEN 0x00040002
#define TAG_SET_PHYS_WH 0x00048003
#define TAG_SET_VIRT_WH 0x00048004
#define TAG_SET_DEPTH 0x00048005
#define TAG_SET_PIXEL_ORDER 0x00048006
#define TAG_GET_PITCH 0x00040008
#define TAG_SET_VIRT_OFFSET 0x00048009
#define TAG_SET_BACKLIGHT 0x0004800F
#define TAG_GET_TOUCHBUF 0x0004000F
#define TAG_SET_TOUCHBUF 0x0004801F
#define TAG_GET_DISPLAY_ID 0x00040013
#define TAG_SET_DSI_TIMING 00x00048014
#define TAG_LAST 0x00000000
 
 
enum rpi_power_domain{
    RPI_POWERUP_SDCARD,
    RPI_POWERUP_UART0,
    RPI_POWERUP_UART1,
    RPI_POWERUP_USB_HCD,
    RPI_POWERUP_I2C0,
    RPI_POWERUP_I2C1,
    RPI_POWERUP_I2C2,
    RPI_POWERUP_SPI,
    RPI_POWERUP_CCP2TX
};
 
extern uint32_t AuRPI3LocalIRQGetPending();
 
/*
 * AuRPI3PeripheralIRQGetPending -- read pending interrupts from
 * peripheral base
 */
extern uint32_t AuRPI3PeripheralIRQGetPending2();
 
extern uint32_t AuRPI3PeripheralIRQGetPending1();
/*
 * AuRPI3Initialize -- initialize the basic board requirement
 */
extern void AuRPI3Initialize();
 
/* RPI3ICInit -- initialize RPI3 local interrupt controller */
extern void AuRPI3ICInit();
 
/*
 * RPI3_IRQ_handler -- handle pending IRQs
 * @param regs -- Pointer to AA64 register struct
 */
extern void RPI3_IRQ_handler(AA64Registers* regs);
 
/*
 * AuRPI3PeripheralIRQEnable -- enable particular peripheral irq
 * @param irq_num -- irq number of the specific peripheral
 */
AU_EXTERN AU_EXPORT void AuRPI3PeripheralIRQEnable(uint32_t irq_num);
 
 
extern void AuVC4DSIInit();
 
extern void AuRPI3DelayUS(uint32_t us);
 
extern void AuRPIDelayMS(uint32_t ms);
 
/*
 * AuRPIInitializeFramebuffer -- initializes framebuffer
 * @param width -- fb width by pixels
 * @param height -- fb height by pixels
 * @param depth -- fb depth
 */
bool AuRPIInitializeFramebuffer(uint32_t width, uint32_t height, uint32_t depth);
 
AU_EXTERN AU_EXPORT int AuRPISetPowerState(uint32_t device_id);
 
#endif
 
 
#endif