platform.h File Reference

Platform interface for ARMv7-A boards. More...

Functions
lpaddr_t	platform_get_distributor_address (void)
	obtain the address of the GIC distributor interface More...
lpaddr_t	platform_get_gic_cpu_address (void)
	obtain the address of the GIC CPU interface More...
lpaddr_t	platform_get_gic_cpu_size (void)
	returns the size of the GIC cpu region More...
lpaddr_t	platform_get_private_region (void)
	returns the private memory region More...
size_t	platform_get_ram_size (void)

Detailed Description

Platform interface for ARMv7-A boards.

This file defines the hardware abstraction layer for ARM targets. Each board is expected to have an implementation that corresponds to this interface.

This interface is expected to change as new boards are added.

Function Documentation

lpaddr_t platform_get_distributor_address

(

void

)

obtain the address of the GIC distributor interface

Returns

physical address of the CBAR region

lpaddr_t platform_get_gic_cpu_address

(

void

)

obtain the address of the GIC CPU interface

Returns

physical address of the CBAR region

lpaddr_t platform_get_gic_cpu_size

(

void

)

returns the size of the GIC cpu region

Returns

lpaddr_t platform_get_private_region

(

void

)

returns the private memory region

Returns

physical address of the CBAR region

size_t platform_get_ram_size

(

void

)

Calculate the size of available RAM by reading each bank