#ifndef _UART0_H
#define _UART0_H

// Initialize UART0 using the defaults specified in uart0.c
void uart0_init(void);

// Transmit the character ch over UART0
void uart0_tx(char ch); 

// Wait for a character to be received over UART0, and return it
char uart0_rx(void);

// Return a nonzero value if and only if a character is currently in the
// UART0 receive buffer.
char uart0_ready(void);

// Theses are aliases to uart0_tx and uart0_rx respectively.
// They are used by the standard library for printf/scanf
void putchar(char c);
char getchar(void);

#endif