#ifndef PRINTF_H_
#define PRINTF_H_

#include <stdarg.h>
#include <stdlib.h>

typedef void(*printf_callback_t)(volatile void*, char);

void printf_format(
    const char* fmt,
    printf_callback_t callback,
    volatile void* callback_closure,
    va_list lst);

#endif /* PRINTF_H_ */