#ifndef __UTILS_HPP__
#define __UTILS_HPP__

#include "Enclave_t.h"

void printf(const char *fmt, ...);
unsigned long printf_with_rtclock(const char *fmt, ...);
unsigned long printf_with_rtclock_diff(unsigned long before,
    const char *fmt, ...);

#endif