#ifndef ROM_H
#define ROM_H

#include <stdint.h>

extern uint32_t DiagPrintf(const char *fmt, ...)
    __attribute__((format(printf, 1, 2)));

#define printf DiagPrintf

#endif  // ROM_H