#ifndef _E9_H
#define _E9_H

void arch_e9_putc(char);
void arch_e9_puts(char *);
void arch_e9_initdev();

#endif