#ifndef PL011_H
#define PL011_H

void pl011_putc(char c);

#endif /* PL011_H */