Barrelfish
Functions
plat_apm88xxxx.c File Reference

Functions

errval_t serial_early_init (unsigned port)
 Configure the serial interface, from a caller that knows that this is a bunch of PL011s, and furthermore where they are in the physical address space.
 
errval_t serial_early_init_mmu_enabled (unsigned port)
 Configure the serial interface, from a caller that knows that this is a bunch of PL011s, and furthermore where they are in the physical address space.
 
void serial_putchar (unsigned port, char c)
 Prints a single character to a serial port.
 
char serial_getchar (unsigned port)
 Reads a single character from the default serial port. This function spins waiting for a character to arrive. More...
 
lpaddr_t platform_get_gic_cpu_address (void)
 obtain the address of the GIC CPU interface More...
 
lpaddr_t platform_get_distributor_address (void)
 obtain the address of the GIC distributor interface More...
 

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
char serial_getchar ( unsigned  port)

Reads a single character from the default serial port. This function spins waiting for a character to arrive.

Reads a single character from the default serial port.