Barrelfish
|
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... | |
lpaddr_t platform_get_distributor_address | ( | void | ) |
obtain the address of the GIC distributor interface
lpaddr_t platform_get_gic_cpu_address | ( | void | ) |
obtain the address of the GIC CPU interface
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.